数学は最初から「証明」を求めていたわけではない
古代エジプト人やバビロニア人は、決められた計算手順や実際の測定に頼っていました。ギリシャ人が証明という考え方を導入して流れを変え、ユークリッドがそれらを『原論』で整理してまとめました。数学：証明からパラドックスへ
証明はどう成り立つのか
まず公理と定義を決め、それらから厳密な論理によって定理を導きます。長さを測ったり図って確かめるのではなく、純粋に「理屈だけ」で積み上げていくのです。数学：証明からパラドックスへ
数学は最初から「証明」を求めていたわけではない
古代エジプト人やバビロニア人は、決められた計算手順や実際の測定に頼っていました。ギリシャ人が証明という考え方を導入して流れを変え、ユークリッドがそれらを『原論』で整理してまとめました。数学：証明からパラドックスへ
証明はどう成り立つのか
まず公理と定義を決め、それらから厳密な論理によって定理を導きます。長さを測ったり図って確かめるのではなく、純粋に「理屈だけ」で積み上げていくのです。数学：証明からパラドックスへ
