# Synonymes de théorèmes d’incomplétude de Gödel

Source : https://synonyma.fr/th%C3%A9or%C3%A8mes%20d%E2%80%99incompl%C3%A9tude%20de%20G%C3%B6del · 1 synonymes · 0 antonymes · mis à jour le 2026-11-03

## Synonymes de théorèmes d’incomplétude de Gödel

### Locution nominale

- théorèmes de Gödel

## Définitions

### Locution nominale \teo.ʁɛm d‿ɛ̃.kɔ̃.ple.tyd də ɡœ.dɛl\

1. 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.

## Étymologie

Locution nominale composée : – de théorèmes, du latin theorema issu du grec ancien θεώρημα, theốrêma (« spectacle, fête, contemplation, sujet d'étude. »), dérivé, avec le suffixe -μα, -ma, de θεωρέω, theôréô (« examiner, regarder, considérer »), de θέα, théa (« contemplation ») et ὁράω, horáô (« regarder, voir »), – d’incomplétude,dérivé de complet, avec le suffixe -tude, du latin completus (« rem…

## Sources et licence

- Wiktionnaire, « théorèmes d’incomplétude de Gödel » : https://fr.wiktionary.org/wiki/th%C3%A9or%C3%A8mes%20d%E2%80%99incompl%C3%A9tude%20de%20G%C3%B6del (CC BY-SA 4.0)