Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
Mathematical axioms
An Entity of Type:
Concept
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Property
Value
dbo:
wikiPageID
3439784
(xsd:integer)
dbo:
wikiPageRevisionID
1062502336
(xsd:integer)
dbp:
wikiPageUsesTemplate
dbt
:Cat_main
rdf:
type
skos
:Concept
rdfs:
label
Mathematical axioms
(en)
skos:
broader
dbc
:Mathematical_concepts
dbc
:Mathematical_logic
dbc
:Formal_systems
skos:
prefLabel
Mathematical axioms
(en)
skos:
related
dbc
:Formal_theories_of_arithmetic
prov:
wasDerivedFrom
wikipedia-en
:Category:Mathematical_axioms?oldid=1062502336&ns=14
is
dbo:
wikiPageWikiLink
of
dbr
:List_of_axioms
dbr
:Löb's_theorem
dbr
:Mereotopology
dbr
:Peano_axioms
dbr
:Induction,_bounding_and_least_number_principles
dbr
:Tarski's_axioms
dbr
:Whitehead's_point-free_geometry
dbr
:Blum_axioms
dbr
:Gluing_axiom
dbr
:Predicate_functor_logic
dbr
:Relation_algebra
dbr
:Huzita–Hatori_axioms
dbr
:Least_upper_bound_axiom
dbr
:Eilenberg–Steenrod_axioms
dbr
:Axiom
dbr
:Axiom_of_countability
dbr
:Axiom_schema
dbr
:Axiomatic_system
dbr
:Kuratowski_closure_axioms
dbr
:Cantor–Dedekind_axiom
dbr
:Tarski's_axiomatization_of_the_reals
dbr
:Probability_axioms
is
dcterms:
subject
of
dbr
:List_of_axioms
dbr
:Löb's_theorem
dbr
:Mereotopology
dbr
:Peano_axioms
dbr
:Induction,_bounding_and_least_number_principles
dbr
:Tarski's_axioms
dbr
:Whitehead's_point-free_geometry
dbr
:Blum_axioms
dbr
:Gluing_axiom
dbr
:Predicate_functor_logic
dbr
:Relation_algebra
dbr
:Huzita–Hatori_axioms
dbr
:Least_upper_bound_axiom
dbr
:Eilenberg–Steenrod_axioms
dbr
:Axiom
dbr
:Axiom_of_countability
dbr
:Axiom_schema
dbr
:Axiomatic_system
dbr
:Kuratowski_closure_axioms
dbr
:Cantor–Dedekind_axiom
dbr
:Tarski's_axiomatization_of_the_reals
dbr
:Probability_axioms
is
skos:
broader
of
dbc
:Foundations_of_geometry
dbc
:Axioms_of_set_theory
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 3.0 Unported License