 analytic/synthetic distinction |  choice, axiom of |  Dedekind, Richard: contributions to the foundations of mathematics |  Frege, Gottlob |  Frege, Gottlob: theorem and foundations for arithmetic |  Gödel, Kurt |  identity: of indiscernibles |  Kant, Immanuel |  Leibniz, Gottfried Wilhelm |  Russell’s paradox |  set theory |  type theory 