>>692
異なると言っても
For ∃nみたいな意味不明な論理式しかならないんだから、高木ワールドの数学でしかないでしょう