Pythagore, Euclide, Archimède : le miracle grec de la démonstration

C'est un raisonnement qui établit la vérité d'un théorème en le déduisant logiquement de propositions premières admises (axiomes, postulats ou définitions). Elle impose l'assentiment par la seule rigueur de l'argumentation, indépendamment de l'autorité ou de l'expérience.