>>62
ある集合に二項関係が定められていて,特定の2つの要素がその関係を持たないことと、集合に二項関係そのものが定められていないことは違いますよね？
一般に複素数が比較不能だと言ったときは後者なわけです
そもそもの関係が定められていないのに、なにをどう比較しろというのでしょうか？
この場合、1＜2も単なる無意味な式となると思うのですが、それともこれも偽になるんですかね？

>>67
http://ja.wikipedia.org/wiki/%E4%B8%80%E9%9A%8E%E8%BF%B0%E8%AA%9E%E8%AB%96%E7%90%86#.E6.A7.8B.E9.80.A0

＞f がアリティ n の関数記号ならば、F(f) : Dn → D 、すなわち F(f) は D 上の n 項演算である。

つまり、/はどんなものに対しても定められている必要があり、分母が0のときは定義されない、とすることはできないのです
その「命題もどき」も単なる無意味な文でしかありません