Berryのパラドックス
$ x
は英単語12個では定義できない最初の自然数とする．
(x is)
"the smallest natural number not definable using at most twelve English words"
(12 words)
よって
$ x
は英単語12個では定義できる自然数である．
定義できる（できない）
が曖昧すぎるのが原因
#パラドックス
G. G. Berry