On Herbrand consistency in weak arithmetic (Q5950714)
From MaRDI portal
scientific article; zbMATH DE number 1682145
Language | Label | Description | Also known as |
---|---|---|---|
English | On Herbrand consistency in weak arithmetic |
scientific article; zbMATH DE number 1682145 |
Statements
On Herbrand consistency in weak arithmetic (English)
0 references
13 December 2001
0 references
Gödel incompleteness theorem
0 references
weak arithmetic
0 references
consistency
0 references
provability
0 references