The study of the logical basis for mathematics, and in particular attempts to establish an axiomatic basis upon which mathematics could be built. Early in the 20th century Bertrand Russell tried unsuccessfully to produce a unifying set of axioms for mathematics. See Gödel’s Incompleteness Theorems.