This leaves open the possibility of consistency proofs that cannot be formalized within the system they consider.
Nyitva hagyja az olyan konzisztens bizonyítások lehetőségét, melyek nem formalizálhatóak a rendszerben, amelyre vonatkoznak.