# Synonymes de énoncé indécidable

Source : https://synonyma.fr/%C3%A9nonc%C3%A9%20ind%C3%A9cidable · 2 synonymes · 2 antonymes · mis à jour le 2026-11-03

## Synonymes de énoncé indécidable

### Locution nominale

- énoncé indépendant, proposition indécidable

## Antonymes de énoncé indécidable

énoncé décidable, [théorème](https://synonyma.fr/th%C3%A9or%C3%A8me) (énoncé démontrable)

## Définitions

### Locution nominale [e.nɔ̃.se ɛ̃.de.si.dabl]

1. Dans une théorie axiomatique formelle, énoncé dont ni la démonstration ni la réfutation ne peuvent être obtenues à partir des axiomes de cette théorie.
   > En 1931, le mathématicien autrichien Kurt Gödel a démontré que, dans un cadre axiomatique donné, certains énoncés mathématiques sont indécidables : il est impossible de prouver qu’ils sont vrais ou faux.

## Étymologie

Composé de énoncé, du latin enuntiatum (« ce qui est énoncé, proposition ») et de indécidable, du latin decidere (« décider, trancher ») avec le préfixe privatif in-.

## Sources et licence

- Wiktionnaire, « énoncé indécidable » : https://fr.wiktionary.org/wiki/%C3%A9nonc%C3%A9%20ind%C3%A9cidable (CC BY-SA 4.0)