This HTML5 document contains 52 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n9http://g.co/kg/g/
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
rdfshttp://www.w3.org/2000/01/rdf-schema#
category-frhttp://fr.dbpedia.org/resource/Catégorie:
n11http://fr.dbpedia.org/resource/Modèle:
wikipedia-frhttp://fr.wikipedia.org/wiki/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
dbpedia-frhttp://fr.dbpedia.org/resource/
provhttp://www.w3.org/ns/prov#
prop-frhttp://fr.dbpedia.org/property/
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/

Statements

Subject Item
dbpedia-fr:Théorie_axiomatique
rdfs:label
Théorie axiomatique
rdfs:comment
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.
owl:sameAs
wikidata:Q9295456 n9:122pl5wj
dbo:wikiPageID
762974
dbo:wikiPageRevisionID
162025299
dbo:wikiPageWikiLink
dbpedia-fr:Axiomes_de_Peano dbpedia-fr:Thèse_de_Church dbpedia-fr:Programme_d'Erlangen dbpedia-fr:Théorie dbpedia-fr:Théorie_de_la_calculabilité dbpedia-fr:Théorie_des_modèles dbpedia-fr:Ensemble_récursif dbpedia-fr:Problème_de_la_décision dbpedia-fr:Variable_libre dbpedia-fr:Théorème category-fr:Axiome dbpedia-fr:Théorème_de_complétude_de_Gödel dbpedia-fr:Calcul_des_prédicats dbpedia-fr:Fonction_récursive dbpedia-fr:Axiomatisation dbpedia-fr:Calcul_des_séquents dbpedia-fr:Algèbre dbpedia-fr:Logique_classique category-fr:Logique_mathématique dbpedia-fr:Axiome dbpedia-fr:Logique_d'ordre_supérieur dbpedia-fr:Théorie_des_ensembles_de_Zermelo-Fraenkel dbpedia-fr:Fonction_calculable dbpedia-fr:Mathématiques dbpedia-fr:Fonction_caractéristique_(théorie_des_ensembles) dbpedia-fr:Récursivement_énumérable dbpedia-fr:Système_à_la_Hilbert dbpedia-fr:Langage_formel dbpedia-fr:Machine_de_Turing dbpedia-fr:Théorie_des_groupes dbpedia-fr:Logique_mathématique dbpedia-fr:Calcul_infinitésimal dbpedia-fr:Logique_intuitionniste dbpedia-fr:Éléments_(Euclide) dbpedia-fr:Théorèmes_d'incomplétude_de_Gödel
dbo:wikiPageLength
17634
dct:subject
category-fr:Axiome category-fr:Logique_mathématique
prop-fr:wikiPageUsesTemplate
n11:Cori-Lascar_II n11:Portail n11:S- n11:Pas_clair n11:Commentaire_biblio
prov:wasDerivedFrom
wikipedia-fr:Théorie_axiomatique?oldid=162025299&ns=0
foaf:isPrimaryTopicOf
wikipedia-fr:Théorie_axiomatique
dbo:abstract
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. 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. 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).