Hacker News new | ask | show | jobs
by pa7x1 941 days ago
Without entering into an endless debate about semantics and metaphysics I would simply say that if you want to use the word discovered for the axioms then you must acknowledge that the theorems are not the same kind of discovered.