昨日の書いたことの間違い。

「∀バナナ」は「バナナ」の意味がなく「バナナ」は記号化されてしまう。「∀x∈バナナ」としたほうがいい。「∀バナナ」は「全てについて、それをバナナと呼ぶと…」という文章になる。ZFCではすべてが集合なので、「∀バナナ」は、集合という数学概念に「バナナ」という名前を与える機能となる。ということらしいです。