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.
Фрагменты ранних доказательств сохранились в трудах Платона и Аристотеля, и идея дедуктивной системы, возможно, была известна в пифагорейской школе и Платоновской Академии.