>>730
それが意外にしんどい。特に有理数。一階だと集合の最小性は表現出来ないから難しい。順序体には出来ても実数も満たすようなものになってしまう。

>>731
公理が載ってる本があるの？なら書いてみて。