>>45
This was already proven in >>31 the question was if Dedkind-complete ordered field was equivalent to the Archimedean ordered field. That is Dedkind-complete ordered field iff Archimedian ordered field. Which was already dis-proven by the existence of a non-Dedkind-complete ordered field which was Archimedian, namely the rational numbers.