Metadata
Author: WikiMatrix
Data
French[fr]
La théorie de la démonstration a été initiée par David Hilbert dans le but de fournir des preuves finitaires de cohérence pour les théories mathématiques dans le cadre de son programme dit programme de Hilbert.
Portuguese[pt]
O desenvolvimento precoce da teoria da prova matemática foi dirigida pelo desejo de fornecer provas finitas consistentes para toda a matemáticas, como parte do programa de Hilbert.