> Chatgpt would have no problems introducing the well-ordered principle Yes, well, that is part of what I was trying to say. The statement of the principle is

> Chatgpt would have no problems introducing the well-ordered principle Yes, well, that is part of what I was trying to say. The statement of the principle is not important outside of the structure you are building when following one particular proof, or reading a book (so, following several proofs). You could do just as well with Zorn's lemma or axiom of choice as you would with the well-ordering; what if your course introduces one of these, but not the well-ordering principle, and then asks to solve this particular exercise? In that case, the gist of the exercise would actually be to re-derive, say, the (axiom of choice)=>(well-ordering) implication for the natural numbers. A point that would be thoroughly lost on chatgpt without the course context.