lògica matemàtica: Teorema d'incompletesa de Gödel (article de 1931 de Kurt Gödel Sobre sentències formalment indecidibles de "Principia Mathematica" i sistemes afins). incompletesa de Gödel i indecisió doxàstica. Indecidibilitat, qualitat d'un problema de decisió (recursivament) indecidible, que no pot decidir-se per cap algorisme. Altres usos: Objecte impossible o figura indecidible. Conjunt recursivament enumerable o conjunt semi.