「当たり前」を疑う数学の深淵：なぜ1+1=2の証明はこれほどまでに難しいのか

世の中には、あまりに単純すぎて誰も疑わない真理がある。

その最たる例が「1+1=2」という数式である。

多くの者は、これを疑う余地のない事実として受け入れている。

だが、数学の世界において「自明」という言葉は、思考停止の別名に過ぎない。

実は、この単純な式を証明するためには、膨大な論理の積み重ねが必要となる。

かつて、数千ページを費やしてこれを証明しようとした数学者すら存在した。

われわれが日常的に使っている「数」とは、一体何なのか。

それを定義せずして、厳密な証明など土台無理な話である。

つまり、この動画が突きつけているのは「知識」ではなく「思考の作法」である。

1+1=2を証明するという行為は、知性の解体作業に他ならない。

われわれは、まず「自然数とは何か」という根源的な問いに向き合う必要がある。

そうでなければ、数学の真理に触れる資格はないのである。

「当たり前」を疑うことから数学は始まる。

この感覚を失った者は、学問の入り口で立ち往生するしかない。

だからこそ、あえて泥臭い定義の再構築から始めるのである。

それは、一見すると遠回りに見えるが、唯一の正解へと続く道である。

自然数を厳密に定義するため、数学者ペアノは5つの公理を打ち立てた。

これが世に言う「ペアノの公理」である。