 Aristotle, Special Topics: mathematics |  Brouwer, Luitzen Egbertus Jan |  choice, axiom of |  Church-Turing Thesis |  Frege, Gottlob: theorem and foundations for arithmetic |  Gödel, Kurt |  Hilbert, David: program in the foundations of mathematics |  infinity |  Kant, Immanuel: philosophy of mathematics |  logic, history of: intuitionistic logic |  logic: intuitionistic |  mathematics, philosophy of: fictionalism |  mathematics, philosophy of: formalism |  mathematics, philosophy of: indispensability arguments in the |  mathematics, philosophy of: intuitionism |  mathematics, philosophy of: nominalism |  mathematics, philosophy of: structuralism |  mathematics: constructive |  mathematics: explanation in |  model theory: first-order |  Platonism: in the philosophy of mathematics |  plural quantification |  Russell’s paradox |  set theory |  set theory: continuum hypothesis |  set theory: independence and large cardinals |  style: in mathematics |  Turing, Alan |  type theory |  Whitehead, Alfred North |  Wittgenstein, Ludwig: philosophy of mathematics 