indécidable

indécidable

adj.
En logique, se dit d'une formule, d'une proposition, etc., qui n'est ni démontrable ni réfutable (par opp. à décidable).