Gödel's incompleteness theorem
English[edit]
Proper noun[edit]
Gödel's incompleteness theorem
 A theorem in mathematical logic that states that no consistent system can be used to prove its own consistency.
Translations[edit]
theorem that states that no consistent system can be used to prove its own consistency

