Tal conocimiento no es posible si el programa es más extenso que los axiomas.