The following pages link to The Consistency of Arithmetic (Q5019125):
Displaying 8 items.
- The consistency of arithmetic (Q666895) (← links)
- First-order reasoning and primitive recursive natural number notations (Q708925) (← links)
- Peano's smart children: A provability logical study of systems with built-in consistency (Q1262309) (← links)
- Taking formalism seriously (Q1317509) (← links)
- (Q4394886) (← links)
- Arithmetic Formulated Relevantly (Q5019124) (← links)
- Do the integers exist? The unknowability of arithmetic consistency (Q5693417) (← links)
- Explaining the Gentzen-Takeuti reduction steps: A second-order system (Q5944050) (← links)