Arc Forumnew | comments | leaders | submitlogin
3 points by absz 5872 days ago | link | parent

That's a good point. And I do understand when it will fail, it just seemed odd. But you do make a good point about the power; it also reduces the number of axioms.