>>520
> ・これら外延/内包による形式的な定義は、どちらも不可能である。

ダウト。全ての有限集合は外延的に記述可能である。

> ・全体集合(「すべて人間の持つ語彙集合」)をコンピュータが持つ事は現在のハード技術レベルでも現実性はあるが、
> 　それではチューリング・テストにすら合格できないから無意味である。

全体集合を持つ必要はまったくない。
1人の人間が全体集合を持たずにチューリングテストをパスできる。