Definify.com
Definition 2024
Gödel's_incompleteness_theorem
Gödel's incompleteness theorem
English
Proper noun
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
theorem that states that no consistent system can be used to prove its own consistency
|
|