An exploration of the partial respects in which an axiom system recognizing solely addition as a total function can verify its own consistency (Q5486248)
From MaRDI portal
scientific article; zbMATH DE number 5051860
Language | Label | Description | Also known as |
---|---|---|---|
English | An exploration of the partial respects in which an axiom system recognizing solely addition as a total function can verify its own consistency |
scientific article; zbMATH DE number 5051860 |
Statements
An exploration of the partial respects in which an axiom system recognizing solely addition as a total function can verify its own consistency (English)
0 references
6 September 2006
0 references
deduction systems
0 references
consistency
0 references