Y
Hacker News
new
|
ask
|
show
|
jobs
by
danharaj
3385 days ago
Countable in the
external logic
, but the
internal logic
still proves that there are uncountably many reals.