Re: Contradicrtion-free mathemattics (The new nonstandard analysis

E. E. Escultura wrote:


Finally, I well-define a normal number as one in which every digit is
chosen at random from the basic digits.


Define random. Do you mean chosen arbitrarily?

Using Dedikind cuts one can prove trichotomy. What new thing have you proven?

Bob Kolker

.