Théorie axiomatique
ensemble de formules se déduisant d'axiomes dans une logique donnée / De Wikipedia, l'encyclopédie encyclopedia
Cher Wikiwand IA, Faisons court en répondant simplement à ces questions clés :
Pouvez-vous énumérer les principaux faits et statistiques sur Théorie axiomatique?
Résumez cet article pour un enfant de 10 ans
Quand on parle de théorie mathématique, on fait référence à une somme d'énoncés, de définitions, de méthodes de preuve, etc. La théorie de la calculabilité en est un exemple. Par théorie axiomatique, on fait référence à quelque chose de plus précis, des axiomes et leurs conséquences, les théorèmes, énoncés dans un langage précis. Dans la suite on dira le plus souvent théorie pour théorie axiomatique, ce qui est d'usage courant en logique mathématique.
Cet article ou cette section est évasif ou trop peu précis ().
Améliorez sa qualité à l'aide des conseils sur les sources !
Il y a bien sûr un rapport entre les deux notions. Mais on voit bien qu'il serait très réducteur de définir la théorie des groupes comme trois axiomes et leurs conséquences.[évasif]
Cet article n'a pas vocation à parler de la signification du mot « théorie » en dehors du contexte des mathématiques, et même des mathématiques formelles.
Les Éléments d'Euclide sont considérés comme le premier exemple de théorie axiomatique, même si quelques axiomes étaient restés implicites. La notion moderne de théorie axiomatique s'est développée au cours du XIXe siècle et du début du XXe siècle, d'une part à cause de la découverte au XVIIe siècle du calcul infinitésimal, qui nécessitait d'autres fondements aux mathématiques que ceux des Éléments d'Euclide, d'autre part à cause du développement de la géométrie et de l'algèbre moderne (voir aussi le programme d'Erlangen).