Talk:Order-Extension Principle

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)