Synonymes de énoncé indécidable
- nom
Les plus courants
Définitions
- n. 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.
De tels énoncés sont dits indécidables dans cette théorie. On dit également indépendants de la théorie.
Autour du mot
- Est une sorte de
- énoncé