The following pages link to Some Axioms for Mathematics (Q6159937):
Displaying 5 items.
- The role of axioms in mathematics (Q948978) (← links)
- From the universality of mathematical truth to the interoperability of proof systems (Q2104491) (← links)
- Axioms of infinity as the starting point for rigorous mathematics. (Q2862640) (← links)
- A modular construction of type theories (Q5883738) (← links)
- Combining intuitionistic and classical propositional logic: Gentzenization and Craig interpolation (Q6636378) (← links)