3 ms·Countable in the external logic, but the internal logic still proves that there are uncountably many reals.by danharaj 10y agoCountable in the external logic, but the internal logic still proves that there are uncountably many reals.