Skip to main content
none's user avatar
none's user avatar
none's user avatar
none
Unregistered
  • Member for 6 years, 4 months
  • Last seen more than 6 years ago
comment
Examples of set theory problems which are solved using methods outside of logic
Does Cantor's diagonal proof that the reals are uncountable count as "outside logic"?