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
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 5051860
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.8116940259933472
0 references
0.7878671288490295
0 references
