Hacker News new | ask | show | jobs
by phkahler 1249 days ago
Fermat did several proofs by infinite descent without bringing set theory into it ;-)
2 comments

Actually he did use set theory, but there wasn't enough space in the margins
There's a large body of math that can be proved simply, or proved complexly using set theory ;)