Hacker News new | ask | show | jobs
by chx 659 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.