Toggle navigation
Faceted Browser
Sparql Endpoint
Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
LODmilla Browser
Formats
RDF:
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
CSV
JSON-LD
About:
http://fr.dbpedia.org/resource/Schéma_d'axiomes
An Entity of Type :
Thing
, from Named Graph :
http://fr.dbpedia.org
, within Data Space :
fr.dbpedia.org
En logique mathématique, la notion de schéma d’axiomes généralise celle d'axiome.
Property
Value
dbo:
abstract
En logique mathématique, la notion de schéma d’axiomes généralise celle d'axiome.
(fr)
En logique mathématique, la notion de schéma d’axiomes généralise celle d'axiome.
(fr)
dbo:
wikiPageID
11095601
(xsd:integer)
dbo:
wikiPageLength
3686
(xsd:nonNegativeInteger)
dbo:
wikiPageRevisionID
186816131
(xsd:integer)
dbo:
wikiPageWikiLink
dbpedia-fr
:Axiome
dbpedia-fr
:Axiomes_de_Peano
dbpedia-fr
:Calcul_des_prédicats
category-fr
:Axiome
dbpedia-fr
:Définition_par_récurrence
dbpedia-fr
:Ensemble_dénombrable
dbpedia-fr
:Entier_naturel
dbpedia-fr
:Formule_logique
dbpedia-fr
:Logique_d'ordre_supérieur
dbpedia-fr
:Logique_mathématique
dbpedia-fr
:Métalangage
dbpedia-fr
:Métavariable
dbpedia-fr
:New_Foundations
dbpedia-fr
:Propriété
dbpedia-fr
:Raisonnement_par_récurrence
dbpedia-fr
:Relation_binaire
dbpedia-fr
:Richard_Montague
dbpedia-fr
:Schéma_d'axiomes_de_compréhension
dbpedia-fr
:Schéma_d'axiomes_de_remplacement
dbpedia-fr
:Système_axiomatique
dbpedia-fr
:Système_logique
dbpedia-fr
:Terme_(logique)
dbpedia-fr
:Théorie_des_ensembles
dbpedia-fr
:Théorie_des_ensembles_de_Zermelo-Fraenkel
dbpedia-fr
:Théorie_des_ensembles_de_von_Neumann-Bernays-Gödel
dbpedia-fr
:Variable_libre
prop-fr:
wikiPageUsesTemplate
dbpedia-fr
:Modèle:Portail
dbpedia-fr
:Modèle:Référence_nécessaire
dbpedia-fr
:Modèle:Traduction/Référence
dbpedia-fr
:Modèle:SEP
dct:
subject
category-fr
:Axiome
rdfs:
comment
En logique mathématique, la notion de schéma d’axiomes généralise celle d'axiome.
(fr)
En logique mathématique, la notion de schéma d’axiomes généralise celle d'axiome.
(fr)
rdfs:
label
Axiomaschema
(nl)
Schema di assiomi
(it)
Schemat aksjomatu
(pl)
Schéma d'axiomes
(fr)
Аксіомна схема
(uk)
公理模式
(zh)
Axiomaschema
(nl)
Schema di assiomi
(it)
Schemat aksjomatu
(pl)
Schéma d'axiomes
(fr)
Аксіомна схема
(uk)
公理模式
(zh)
owl:
sameAs
dbr
:Axiom_schema
wikidata
:Q792536
dbpedia-de
:Axiomenschema
dbpedia-hr
:Aksiomska_shema
dbpedia-it
:Schema_di_assiomi
dbpedia-ja
:公理型
dbpedia-nl
:Axiomaschema
dbpedia-pl
:Schemat_aksjomatu
dbpedia-ru
:Схема_аксиом
dbpedia-uk
:Аксіомна_схема
dbpedia-zh
:公理模式
http://ma-graph.org/entity/8245965
http://g.co/kg/m/039jd5
prov:
wasDerivedFrom
wikipedia-fr
:Schéma_d'axiomes?oldid=186816131&ns=0
foaf:
isPrimaryTopicOf
wikipedia-fr
:Schéma_d'axiomes
is
dbo:
wikiPageWikiLink
of
dbpedia-fr
:Axiome_d'extensionnalité
dbpedia-fr
:Calcul_des_prédicats
dbpedia-fr
:Schéma_d'axiomes_de_compréhension
dbpedia-fr
:Schéma_d'axiomes_de_remplacement
dbpedia-fr
:Théorie
dbpedia-fr
:Théorie_des_ensembles_de_Kripke-Platek
dbpedia-fr
:Théorie_des_ensembles_de_von_Neumann-Bernays-Gödel
is
oa:
hasTarget
of
tag-fr
:UkFrResource
tag-fr
:NlFrResource
tag-fr
:ItFrResource
tag-fr
:ZhFrResource
tag-fr
:PlFrResource
tag-fr
:WdtFrResource
is
foaf:
primaryTopic
of
wikipedia-fr
:Schéma_d'axiomes