En mathématiques, la démonstration est construite selon la méthode axiomatique qui se base
sur la formalisation du langage, sur la formulation des axiomes primitifs et des postulats, sur
la cohérence et la complétude de la théorie développée. La structure de la démonstration est
rigide, et restrictive