Hacker News new | ask | show | jobs
by ASlave2Gravity 2384 days ago
Maths, as I understand it, is merely an a priori deduction from an initial set of assumed-true axioms. In some ways, you can do whatever the heck you like, as long as it's consistent with your axioms and whatever laws govern your deductive process.