17 Answers votes newest views recent 1Is there any formal foundation to ultrafinitism? 1Physics and Church–Turing Thesis 4Set theories without “junk” theorems? 5Essential reads in the philosophy of mathematics and set theory 2Intuitive and/or philosophical explanation for set theory paradoxes 1History of Logic Development 1Can ZFC prove “false theorems”, and still be consistent? (was “Junk Theorems” follow up) 8Why Does Induction Prove Multiplication is Commutative? (2) 1Even XOR Odd Infinities? 5What axioms are used to prove Godel’s Incompleteness Theorems? 1Is there any straightforward way to substitute for Gaussian/Brownian assumptions in financial mathematics? 2Subsystems of Peano arithmetic and incompleteness theorem 1Finite versions of Godel' s incompleteness 2One can earn nothing on the Brownian motion, true ? 5Should I mention my study of set theory when applying for a job outside of university? 2How do you restrict the induction axiom in second (or higher) order logic? 0Reference request: Minimal Axiomatizations of PA over (+,x,<=).