>>540
有限の文字集合から生成される有限長の語は集合として定義される。
したがって、>>517にある有限の語彙は集合として定義される。

つまんねえな。せめてZF公理系ぐらいは理解した上で反論してよ。