The following pages link to What is the axiomatic method? (Q408327):
Displaying 4 items.
- Carnap’s Untersuchungen: Logicism, Formal Axiomatics, and Metatheory (Q2906144) (← links)
- The Significance of a Categoricity Theorem for Formal Theories and Informal Beliefs (Q3295830) (← links)
- HILBERT, DUALITY, AND THE GEOMETRICAL ROOTS OF MODEL THEORY (Q4637948) (← links)
- What are implicit definitions? (Q6651275) (← links)