こういう馬鹿は各階層の数ある構造を満たした集合で、演算なぞ記号間の対応、公理自体はは間違っていても合っていても構わなく、それが真と仮定した時に導出結果も真である対応それ自体の妥当性が問題だと言っても聞かないんだろうな。