この世には言語では定義できない概念がある、という恐怖

1 ：以下、？ちゃんねるからVIPがお送りします：2024/05/17(金) 17:07:00.639 ID:NUZnEcz1d.net

純粋に論理的なものであってもだ

2 ：以下、？ちゃんねるからVIPがお送りします：2024/05/17(金) 17:08:35.881 ID:m4S0dDxU0.net

何言ってるかわからない

3 ：以下、？ちゃんねるからVIPがお送りします：2024/05/17(金) 17:13:08.260 ID:NUZnEcz1d.net

証明
背理法による
あらゆる概念が言語で定義できるなら、すべての実数が言語で定義できることになる
実数xを定義する文章をA(x)とする
文章の集合は高々可算個なので、X = {A(x)| x∈R}は可算
しかし、XからRへ全射が存在するので矛盾