 -->Cantor, Georg--> |  Frege, Gottlob: controversy with Hilbert |  -->Hilbert, David--> |  Hilbert, David: program in the foundations of mathematics |  Kant, Immanuel: philosophy of mathematics |  logic, history of: intuitionistic logic |  logic: classical |  logic: intuitionistic |  mathematics, philosophy of |  mathematics, philosophy of: formalism |  mathematics, philosophy of: intuitionism |  mathematics: constructive |  Platonism: in metaphysics |  Platonism: in the philosophy of mathematics |  set theory: early development |  Weyl, Hermann |  Wittgenstein, Ludwig: philosophy of mathematics 