 Frege, Gottlob |  Frege, Gottlob: theorem and foundations for arithmetic |  generalized quantifiers |  measurement: in science |  Principia Mathematica |  Russell, Bertrand |  schema |  set theory: alternative axiomatic theories |  type theory |  Whitehead, Alfred North 