The Axiom System IΣ0 Manages to Simultaneously Obey and Evade the Herbrandized Version of the Second Incompleteness Theorem (Q4917999)
From MaRDI portal
scientific article; zbMATH DE number 6160415
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The Axiom System IΣ0 Manages to Simultaneously Obey and Evade the Herbrandized Version of the Second Incompleteness Theorem |
scientific article; zbMATH DE number 6160415 |
Statements
The Axiom System IΣ0 Manages to Simultaneously Obey and Evade the Herbrandized Version of the Second Incompleteness Theorem (English)
0 references
3 May 2013
0 references
Gödel's second incompleteness theorem
0 references
\(\mathrm{I}\Sigma_{0}\)
0 references
0 references
0 references
