代数が得意な人は「符号が２個しかない」は
定理なんですか？定義なんですか？
前者なら２個しかないことの証明、
後者なら２個しかないと定義したことの正当性を言わなければなりません。
私は「符号はいくつあってもよい」との立場です。
それどころか符号はベクトルでもよいとの立場です。
符号ベクトル拡張性理論です。
また、過去に私は「何が定理で何が定義かは相対的なものである」との立場を明らかにしました。
定理と定義の交換可能性理論です。
この２本柱が次回のパラダイムシフトのカギを握っている気がしてなりません。
そしてさらに真理値の拡張です。
これにはさすがに私も手が出せないのが正直なところです。
真理値をはたしてベクトルにまで拡張してよいのか否か。
真理値ベクトル拡張理論です。
もしかするとこの３本柱が今後の数学のキーになるのかもしれません。