No label defined (Q4282618)
From MaRDI portal
scientific article; zbMATH DE number 517088
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 517088 |
Statements
17 March 1994
0 references
First Order axiom systems
0 references
Peano Arithmetic
0 references
Gödel's Incompleteness Theorem
0 references