Sentences undecidable in formalized Arithmetic. An exposition of the theory of Kurt Gödel. - Mostowski, Andrzej (Studies in logic and the foundations of mathematics., 1964)