Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel - Mostowski, Andrzej (North-Holland Pub. Co., 1964)