田中一之、鈴木登志雄著『数学のロジックと集合論』

この集合論の紹介的な本で↓を証明していないのは結構面倒だからではないかと思います。

m < n ∨ m = n ∨ n < m の一つのみが成り立つ。