Hacker News new | ask | show | jobs
by lixtra 1178 days ago
Definitions (and axioms) are invented. Theorems are then discovered.