Hacker News new | ask | show | jobs
by chx 706 days ago
Yeah, this can't be done in the geometrical way Euclid worked

Mostly because you need the Archimedean property for it which can not be derived from Euclid's axioms.