Hacker News new | ask | show | jobs
by Dewie 4456 days ago
But if you're unlucky, you pick a set of axioms that makes the whole system inconsistent, which means that you can prove anything, which means that the whole system is useless. To say that it is purely arbitrary is in a sense right, but it seems to undermine the care that you have to go through in order to be reasonably sure that the system is not set up to fail.