Hacker News new | ask | show | jobs
by lmm 53 days ago
You can also replace it with a different postulate and get projective geometry, IIRC.