It forbids substitutions in theorems in formal proofs (NO formal proofs exist in the book... not a single one). But, that is not generally how the axiomatic method has gotten used historically speaking.
↧
Channel:
Does the Definition of a Formal Proof in Mendelson's Book Allow for the Use of Theorem/Derived Axiom Schema in Formal Proofs? - Mathematics Stack Exchange
X
Are you the publisher?
Claim or
contact us
about this channel.
X
0
Channel Details:
- Title: Does the Definition of a Formal Proof in Mendelson's Book Allow for the Use of Theorem/Derived Axiom Schema in Formal Proofs? - Mathematics Stack Exchange
- Channel Number: 77322027
- Language: English
- Registered On: December 16, 2023, 2:39 am
- Number of Articles: 3
- Latest Snapshot: December 16, 2023, 2:40 am
- RSS URL: https://math.stackexchange.com/feeds/question/1905963
- Publisher: https://math.stackexchange.com/q/1905963
- Description:
- Catalog: //derived176.rssing.com/catalog.php?indx=77322027
© 2025 //www.rssing.com