2 ms·I think the answer to that question depends on the axioms you are using.by andrewprock 6y agoI think the answer to that question depends on the axioms you are using.