Además, si se encuentra una teoría más fuerte en la que pueda demostrarse, la propia consistencia de no podrá demostrarse en ni tampoco en .