Re: Contradicrtion-free mathemattics (The new nonstandard analysis

Yes, R* is finite but unbounded (countable), etc., and has different axiomatization (using only 3 axioms; see original post). What started this work was the inherent ambiguity of infinite (unbounded set) which makes any proposition involving the universal or existential quantifier. Moreover, Brouwer constructed a counterexample to the trichotomy axiom (Putnam and Benacerraf, Philosophy of Mathematics, Cambridge, 1985). I also constructed my own using a normal number.

E. E. Escultura
.