Chapters from Godel's Unfinished Book on Foundational Research in Mathematics