Indémontrabilité

Le statut d'une formule formelle par rapport à un système d'axiomes donné lorsqu'on ne peut dériver ni la formule ni sa négation à partir de ce système ; on parle couramment d'indépendance par rapport aux axiomes ou d'indémontrabilité dans la théorie choisie.