Skip to content
ontologydriven
Sign out

Dictionary

Words, grammatical forms and meanings linked to the ontology.

Gödel's incompleteness theorem en · PROPN

Meanings

  1. Either of the two theorems in mathematical logic that demonstrate the inherent limitations of every formal axiomatic system containing basic arithmetic.

Forms

SpellingFeaturesLabelsSource
Gödel's incompleteness theorems Number=Plur lexicographic

Relateds

Rosser's trick

Translations (7)

is ófullkomleikasetning Gödels (theorem) · fr théorème d'incomplétude de Gödel (theorem) · de Gödelscher Unvollständigkeitssatz (theorem) · fi Gödelin epätäydellisyyslause (theorem) · ru Теоремы Гёделя о неполноте (theorem) · pl twierdzenie Gödla (theorem) · et Gödeli mittetäielikkuse teoreem (theorem)