In 370 BC, Plato's Parmenides may have contained an early example of an implicit inductive proof.
No Parmenides, diálogo de Platón do 370 a.C, quizais se pode identificar un temperán exemplo dunha explicación implícita de proba indutiva.