Keresés több hasonló témában:

Hasonló tételek: A Hilbert-program és Gödel nem-teljességi tételei