XX wieku, szereg zagadnień związanych z twierdzeniem Gödla o niezupełności i poświęcił tej dziedzinie monografięAndrzej Mostowski: Sentences undecidable in formalized arithmetic. An exposition of the theory of Kurt Gödel. Reprint of the 1952 original. Greenwood Press, Westport, CT, 1982. viii+117 pp. ., która była przez wiele lat klasycznym wprowadzeniem do problematyki niezupełności.
Metamatematyka arytmetyki II rzędu