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.
Τα σπέρματα των πρώιμων αποδείξεων φυλάσσονται στα έργα του Πλάτωνα και του Αριστοτέλη, και η ιδέα ενός παραγωγικού τέτοιου συστήματος ήταν πιθανώς γνωστό στη Πυθαγόρεια σχολή και στην Πλατωνική Ακαδημία.