(Q1031460)
Statements
Identifiers
Gödel’s second incompleteness theorem
0 references
Gödel's Second Incompleteness Theorem
See also Gödel's Completeness Theorem, Gödel's First Incompleteness Theorem
0 references
No description defined
No description defined