locution
-
Lemme 1 Lexeme fondamental ◆ Courant ◆◆◆
Définition phrasée
Deux théorèmes fondamentaux de la logique mathématique, établis par Kurt Gödel en 1931, qui démontrent les limites de tout système formel cohérent suffisamment expressif pour y développer l'arithmétique élémentaire : le premier théorème établit qu'un tel système contient nécessairement des énoncés indécidables (ni démontrables, ni réfutables dans ce système) ; le second théorème établit que la cohérence d'un tel système ne peut être démontrée au sein de ce système lui-même.Définition liée
Non renseigné

Je Deviens Citoyen
