Cuando una fórmula no puede ser probada verdadera ni falsa, se dice que la fórmula es "independiente", y que por lo tanto el sistema es "no decidible".