Arc Forumnew | comments | leaders | submitlogin
1 point by simonb 6173 days ago | link | parent

It probably has more to do with if being one of the primitives (or axioms if you will).