However, Gödel could not have come to this conclusion without Whitehead and Russell's book.