Euclid's Elements
ピタゴラス学派は無理数の存在を発見した。エウドクソス（紀元前408〜355年頃）は、現在の積分法の先駆である、取り尽くし法を開発した。アリストテレス（紀元前384〜233年頃）は最初に論理学の法を書いた。エウクレイデスは今日の数学でも使用される形式である、定義、原理、定理、証明の最も初期の例である。彼はまた円錐曲線の研究も行った。彼の本、『ユークリッド原論』は、20世紀の中頃まで、西洋で教育を受けたものすべてに知られていた。ピタゴラスの定理などの幾何学のよく知られた定理に加えて、『ユークリッド原論』には2の平方根が無理数であることや素数が無限に存在することの証明が記述されている。素数の発見にはエラトステネスの篩（紀元前230年頃）が使用された。