>>11098387Well, you are wrong. The biggest set anybody can order to provide reasonable and useful mathematical structure is the real numbers. If somebody ordered theorems in a book in any way other than where they appear in the book in an intuitive order, I would expect there to be some greater use for it. Expecting everyone to be an autist about how the theorems are numbers is useless, because we would rather give the theorems descriptive names, or at least glorify an important mathematician.
