ゴットロープ・フレーゲ
These theorems ended a half-century of attempts, beginning with the work of Gottlob Frege and culminating in and Hilbert's formalism, to find a set of axioms sufficient for all mathematics.