1. Lògica. Dit del càlcul que no permet establir, en un nombre de passos finit, si una determinada fórmula, que pertany al seu llenguatge, és un teorema o no de l'esmentat càlcul. 2. Dit de la teoria el conjunt d'enunciats vàlids de la qual no és recursiu. [...]