4 ms·
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.
by blueberry87 3y 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.