Hacker News new | ask | show | jobs
by rhelz 761 days ago
The very very old solution I'm adverting to is Euclid's axioms. They don't define what "point" or "line" means, they just specify some axioms about them.