From Hauptsatz to Hilfssatz (Q5361246)
From MaRDI portal
scientific article; zbMATH DE number 6781283
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | From Hauptsatz to Hilfssatz |
scientific article; zbMATH DE number 6781283 |
Statements
From Hauptsatz to Hilfssatz (English)
0 references
27 September 2017
0 references
consistency
0 references
arithmetic
0 references
Gentzen's \textit{Hilfssatz}
0 references
Gentzen's \textit{Hauptsatz}
0 references
