Kurt Gödel is one of the major figures of logic and foundations from the early 20th century.

completeness theorem

incompleteness theorem

continuum hypothesis

NBG set theory

Dialectica interpretation