>>517
だいたいOKだ。大筋では無問題。ただし曖昧だと思われる箇所があるので、以下に補足する。

ある人間の持つ語彙集合は、(おそらく)脳細胞の数に比例するから有限である。仮に数万語だとする。
また、あるセンテンス("文" という意味で良いかな? それともコンテクスト("文脈")が正しい?)に限定すれば、
関連する語彙集合は、前記(「ある人間の持つ語彙集合」)の部分集合となるから、これも有限である。[補足終わり]

さて、コンピュータに実行させるのであるから、この「ある人間の持つ語彙集合」を、
何らかの方法によって(曖昧さを取り除いて)記号化する必要がある。そこで、その有限集合の形式的な定義を試みよう。
まず「すべて人間の持つ語彙集合」が存在するとする。これは数十から数百万語に及ぶだろうが、(おそらく)有限個である。
ここで、「ある人間の持つ語彙集合」は「すべての人間の持つ語彙集合」の部分集合である。
一般的に部分集合の定義には、全体集合に対する外延的定義(構成要素を"または"で列挙)と
内包的定義(構成条件を"かつ"で列挙)がある。ここで以下の仮説(命題)を立てる。

・これら外延/内包による形式的な定義は、どちらも不可能である。
・全体集合(「すべて人間の持つ語彙集合」)をコンピュータが持つ事は現在のハード技術レベルでも現実性はあるが、
　それではチューリング・テストにすら合格できないから無意味である。

この仮説はOK(いずれも真)で良いかな？