Y
Hacker News
new
|
ask
|
show
|
jobs
by
blueberry87
966 days ago
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.