The continuum can be adequately formalized using only definable reals, making uncomputable numbers e...
This proposition has not been edited since the history system was added.