Philosophy, Philosophy Of Mathematics, Zenos Paradox, Real Number System, Dilemma.
· c (A6) (Existence of multiplicative identity): (∃ 1) 1 ¹ 0 : a · 1 = 1 · a = a (A7) (Existence of multiplicative inverse): a · a -1 = a -1 · a = 1 for a ¹ 0 (A8) (Commutative law for multiplication): a · b = b · a (A9) (Distributive law): a · (b + c) = a · b + a · c Order Axioms: there exists a