Back to Search
Start Over
The Second Incompleteness Theorem
- Source :
- Gödel's Theorems and Zermelo's Axioms ISBN: 9783030522780
- Publication Year :
- 2020
- Publisher :
- Springer International Publishing, 2020.
-
Abstract
- It follows from Godel's Completeness Theorem that a theory is consistent if and only if it has a model. In particular, the consistency of Peano Arithmetic follows from \(\mathbb{N} \models \mathbf{PA}\).
Details
- ISBN :
- 978-3-030-52278-0
- ISBNs :
- 9783030522780
- Database :
- OpenAIRE
- Journal :
- Gödel's Theorems and Zermelo's Axioms ISBN: 9783030522780
- Accession number :
- edsair.doi...........edadb7bab0b2d62bfdc4e18331d666e0