 Below is an examination of some of Gödel’s main contributions in logic and set theory. This treatment of Gödel’s technical work is not exhaustive, omitting discussion of Gödel’s work in physics and his work on the decision problem. These will be treated in the sequel to this entry.