Kurt Gödel
Kurt Gödel and Paul Cohen.