Godel couldn't have come to his conclusion without what book?