Gödelian sentences, Rosserian sentences and truth (Q5866470)
From MaRDI portal
scientific article; zbMATH DE number 7589713
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Gödelian sentences, Rosserian sentences and truth |
scientific article; zbMATH DE number 7589713 |
Statements
Gödelian sentences, Rosserian sentences and truth (English)
0 references
22 September 2022
0 references
incompleteness theorem
0 references
Gödelian sentences
0 references
Rosser's trick
0 references
Rosserian sentences
0 references
soundness
0 references
consistency
0 references
\(\varSigma_n\)-soundness
0 references
