The rationals however can be well-ordered. Although at first sight quite different from the method of nested intervals or of cuts, it is equivalent to either of them, in the sense that the number systems defined in these three ways have the same properties. The operations of addition, etc. Loba geom, I also will see if I can prove that the Axiom of Choice is merely another statement of the method of making Reals just as Dedekind cut method, or Cantor method or Cauchy method. Anyone publishing Axiom of Choice is equivalent or same as these methods of making the Reals must give me credit as this was my conjecture.
Internet is public knowledge with the force of copyrights for original ideas.
Just recently math researchers have gone through their argument. They are just learning it. It is far too early for them to really see it for what it is worth. Too novice to know much about it. Too novice to try to feed into that method the generalized FLT such as this.