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:
Axioms of set theory
An Entity of Type:
Concept
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Property
Value
dbo:
wikiPageID
3439807
(xsd:integer)
dbo:
wikiPageRevisionID
547399161
(xsd:integer)
rdf:
type
skos
:Concept
rdfs:
label
Axioms of set theory
(en)
skos:
broader
dbc
:Set_theory
dbc
:Mathematical_axioms
skos:
prefLabel
Axioms of set theory
(en)
prov:
wasDerivedFrom
wikipedia-en
:Category:Axioms_of_set_theory?oldid=547399161&ns=14
is
dbo:
wikiPageWikiLink
of
dbr
:Wholeness_axiom
dbr
:Open_coloring_axiom
dbr
:Moschovakis_coding_lemma
dbr
:Baumgartner's_axiom
dbr
:Proper_forcing_axiom
dbr
:Axiom_of_limitation_of_size
dbr
:Axiom_schema_of_specification
dbr
:Aczel's_anti-foundation_axiom
dbr
:Large_cardinal
dbr
:AD+
dbr
:Axiom_of_adjunction
dbr
:Axiom_of_constructibility
dbr
:Axiom_of_determinacy
dbr
:Axiom_of_empty_set
dbr
:Axiom_of_extensionality
dbr
:Axiom_of_finite_choice
dbr
:Axiom_of_global_choice
dbr
:Axiom_of_infinity
dbr
:Axiom_of_non-choice
dbr
:Axiom_of_pairing
dbr
:Axiom_of_power_set
dbr
:Axiom_of_projective_determinacy
dbr
:Axiom_of_real_determinacy
dbr
:Axiom_of_regularity
dbr
:Axiom_of_union
dbr
:Axiom_schema_of_predicative_separation
dbr
:Axiom_schema_of_replacement
dbr
:Freiling's_axiom_of_symmetry
dbr
:Ground_axiom
dbr
:Martin's_axiom
dbr
:Well-ordering_theorem
is
dcterms:
subject
of
dbr
:Wholeness_axiom
dbr
:Open_coloring_axiom
dbr
:Moschovakis_coding_lemma
dbr
:Baumgartner's_axiom
dbr
:Proper_forcing_axiom
dbr
:Axiom_of_limitation_of_size
dbr
:Axiom_schema_of_specification
dbr
:Aczel's_anti-foundation_axiom
dbr
:Large_cardinal
dbr
:AD+
dbr
:Axiom_of_adjunction
dbr
:Axiom_of_constructibility
dbr
:Axiom_of_determinacy
dbr
:Axiom_of_empty_set
dbr
:Axiom_of_extensionality
dbr
:Axiom_of_finite_choice
dbr
:Axiom_of_global_choice
dbr
:Axiom_of_infinity
dbr
:Axiom_of_non-choice
dbr
:Axiom_of_pairing
dbr
:Axiom_of_power_set
dbr
:Axiom_of_projective_determinacy
dbr
:Axiom_of_real_determinacy
dbr
:Axiom_of_regularity
dbr
:Axiom_of_union
dbr
:Axiom_schema_of_predicative_separation
dbr
:Axiom_schema_of_replacement
dbr
:Freiling's_axiom_of_symmetry
dbr
:Ground_axiom
dbr
:Martin's_axiom
dbr
:Well-ordering_theorem
is
skos:
broader
of
dbc
:Axiom_of_choice
is
skos:
related
of
dbc
:Systems_of_set_theory
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 3.0 Unported License