>>340

それなら、チャーチ・ロッサー性を誤解してますね。
チャーチ・ロッサー性は、
ある項について正規形がひとつしかないことをいうのではなく、
全ての項について正規形がひとつしかないことをいうので。

まぁ、∀と∃の違いがわかってないということか。