Talk:Order-Extension Principle
Jump to navigation
Jump to search
Alternate (better?) proofs
One option is Wikipedia's proof at Szpilrajn extension theorem. --Dfeuer (talk) 20:20, 13 December 2012 (UTC)
I moved the mess to One-Point Extension of Ordering is Ordering. --Dfeuer (talk) 21:41, 13 December 2012 (UTC)
It would be very nice to add a proof from BPIT or an equivalent axiom. --Dfeuer (talk) 21:41, 13 December 2012 (UTC)