Hacker News new | ask | show | jobs
by witherk 1332 days ago
Math isn't choosing which axioms to use, is finding the consequences of a given set.