expanded version of [Gödel (1947)

by Revised
Venue:In the second edition of [?], the