Goodstein’s Theorem Revisited (Q5361250)
From MaRDI portal
scientific article; zbMATH DE number 6781287
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Goodstein’s Theorem Revisited |
scientific article; zbMATH DE number 6781287 |
Statements
Goodstein’s Theorem Revisited (English)
0 references
27 September 2017
0 references
Peano arithmetic
0 references
Goodstein sequences
0 references
independence result
0 references
incompleteness
0 references
