当たり前のことだが、１階の述語論理といえば、論理に関する公理以外
含まないものをいう。
　∀a∀b(a＜b)
なんていうのは、論理以外の公理である。ただ、699 に書いてあることは、
論理と構造の関係がわかっていないことが顕わとなっている。
< がどう解釈されるかは自由なのだから、それでは偽となるとはいえない。