>>538
>集合ではないということは、有限集合ではないということですね。
その通り。

つまり、>>517で扱っているのは「有限個の語彙の集まり」ではあるが、集合ではない、
したがって、>>517以降の推論は集合ではないものを対象にしているから理論的な意味を為さない。