Top network posts
- 21 Can FPA really prove its consistency?
- 11 When we count the same set, must the number always be the same?
- 11 Is an ultrafinitist Hilbert's program doomed?
- 11 What axioms are used to prove Godel's Incompleteness Theorems?
- 9 Set theories without "junk" theorems?
- 9 Essential reads in the philosophy of mathematics and set theory
- 6 First-order vs second-order provability
- View more network posts →