ところで、>>540に対する反論はまだかな?
もしこの主張を認めるとするなら、「ある人間の持つ語彙の集まり(>>536)」は集合ではないという
ことになるから、結果として「>>517,523は無意味な推論であった」ことを認めることになるのだけど。