「
定理2.9 三分律 m < n ∨ m = n ∨ n < m が成り立つ。
」

これも3つのうち一つのみが成り立つとは書いていません。

その後のページを見ても一つのみが成り立つということは書いていません。

これで大丈夫なんですか？