Page history
Jump to navigation
Jump to search
26 March 2024
25 March 2024
Cobsonwabag
Cobsonwabag moved page Proving well-orderedness to User talk:Proving well-orderedness
mCreeperBomb
no edit summary
−2,039
Cobsonwabag
no edit summary
+2,039
11 July 2023
Yto
no edit summary
m+6
Yto
Created page with "Proving that an ordered set is well-ordered can be very challenging. The methods that can be used to do this vary depending on the type of ordered set. There are of course cases when none of this applies, but mainly in the context of pure apeirology, it often does apply. <h1>Proving totality</h1> As one of the two conditions for an order to be a well-order is that it is a total order, proving totality is a significant part of the proof of well-orderedness. In arbitraril..."
+2,489