La misma lógica-matemática ha demostrado que tal sistema de cálculo perfecto "no es posible" (véase el Teorema de Gödel).