3 ms·
Doesn't this falsely equate "simpler" to "fewer axioms"? If you let each axiom be as complex as possible, what have you simplified?
by daveguy 5y ago
Doesn't this falsely equate "simpler" to "fewer axioms"? If you let each axiom be as complex as possible, what have you simplified?