Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
blueberry87
on Nov 3, 2023
|
parent
|
context
|
favorite
| on:
What do we mean by "the foundations of mathematics...
You lose a very large amount of expressive power if you don't. Any formalisation of the reals requires at least 3 levels, if I remember correctly.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
