Fragments of early proofs are preserved in the works of Plato and Aristotle, and the idea of a deductive system was probably known in the Pythagorean school and the Platonic Academy.
初期のそうした証明の断片がプラトンやアリストテレスの著作の中に残っており、演繹的な体系という発想がピュタゴラスの学校及びプラトンのアカデメイアで知られていたと考えられる。