Arc Forumnew | comments | leaders | submit login

3 points by absz 6144 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.