Book Chapter10.1016/s0049-237x(08)70764-x
Formalization of the Theory of Ordinal Diagrams of Infinite Order
-1970-01-01-Studies in logic and the foundations of mathematics
4
Chat with Paper
AI Agents for this Paper
No abstract available for this paper.
Keywords
Peano axiomsMathematical proofAxiomFirst-order logicConsistency (knowledge bases)ConstructiveMathematicsFormal system
Chat
Click to start Chat