This tag is for questions about the foundations of mathematics, and the formalization of mathematical concepts in foundational theories (e.g. set theory, category theory, and type theory).
26
votes
9answers
2k views
Infinite sets don't exist!?
Has anyone read this article? Set theory
This accomplished mathematician gives his opinion on why he doesn't think infinite sets exist, and claims that axioms are nonsense. I don't disagree with his ...
1
vote
0answers
32 views
Using definitions instead of axioms.
Lets take (classical) first-order logic for granted, including an equality symbol and its associated axioms.
Given all this, a rigorous work of mathematics will typically begin with a signature - ...
