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:
http://dbpedia.org/resource/Template:Set_theory
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Property
Value
dbo:
wikiPageID
37012945
(xsd:integer)
dbo:
wikiPageRevisionID
1119778721
(xsd:integer)
dbp:
wikiPageUsesTemplate
dbt
:Navbox
dbt
:Logic_templates
dbt
:Collapsible_option
dbt
:Documentation
prov:
wasDerivedFrom
wikipedia-en
:Template:Set_theory?oldid=1119778721&ns=10
is
dbp:
wikiPageUsesTemplate
of
dbr
:Cantor's_theorem
dbr
:Cartesian_product
dbr
:Amorphous_set
dbr
:Power_set
dbr
:Principia_Mathematica
dbr
:Schröder–Bernstein_theorem
dbr
:Element_(mathematics)
dbr
:Mostowski_collapse_lemma
dbr
:New_Foundations
dbr
:Bertrand_Russell
dbr
:Determinacy
dbr
:Algebra_of_sets
dbr
:Almost
dbr
:John_von_Neumann
dbr
:List_of_set_identities_and_relations
dbr
:Paul_Bernays
dbr
:Paul_Cohen
dbr
:Richard_Dedekind
dbr
:Ultrafilter_(set_theory)
dbr
:Von_Neumann–Bernays–Gödel_set_theory
dbr
:De_Morgan's_laws
dbr
:Infinite_set
dbr
:List_of_set_theory_topics
dbr
:Thomas_Jech
dbr
:Transfinite_induction
dbr
:Complement_(set_theory)
dbr
:Constructible_universe
dbr
:Countable_set
dbr
:Russell's_paradox
dbr
:General_set_theory
dbr
:Generic_filter
dbr
:Rasiowa–Sikorski_lemma
dbr
:Tarski–Grothendieck_set_theory
dbr
:Class_(set_theory)
dbr
:Georg_Cantor
dbr
:Moschovakis_coding_lemma
dbr
:Naive_set_theory
dbr
:Condensation_lemma
dbr
:Constructive_set_theory
dbr
:Continuum_hypothesis
dbr
:Club_filter
dbr
:Computable_set
dbr
:Zermelo–Fraenkel_set_theory
dbr
:Empty_set
dbr
:Kripke–Platek_set_theory
dbr
:Ordered_pair
dbr
:Paradoxes_of_set_theory
dbr
:Axiom_of_limitation_of_size
dbr
:Axiom_schema_of_specification
dbr
:Burali-Forti_paradox
dbr
:Aczel's_anti-foundation_axiom
dbr
:Tuple
dbr
:Turing's_proof
dbr
:Willard_Van_Orman_Quine
dbr
:Fuzzy_set
dbr
:Gödel_logic
dbr
:Large_cardinal
dbr
:Abraham_Fraenkel
dbr
:Equivalence_relation
dbr
:Ernst_Zermelo
dbr
:Filter_(set_theory)
dbr
:Finite_intersection_property
dbr
:Finite_set
dbr
:Forcing_(mathematics)
dbr
:Cardinal_number
dbr
:Cardinality
dbr
:Diagonal_intersection
dbr
:Family_of_sets
dbr
:Fodor's_lemma
dbr
:Regular_cardinal
dbr
:Intersection_(set_theory)
dbr
:Bijection
dbr
:Suslin's_problem
dbr
:Hereditarily_finite_set
dbr
:Transitive_set
dbr
:Disjoint_union
dbr
:Axiom_of_adjunction
dbr
:Axiom_of_choice
dbr
:Axiom_of_constructibility
dbr
:Axiom_of_countable_choice
dbr
:Axiom_of_dependent_choice
dbr
:Axiom_of_determinacy
dbr
:Axiom_of_extensionality
dbr
:Axiom_of_global_choice
dbr
:Axiom_of_infinity
dbr
:Axiom_of_pairing
dbr
:Axiom_of_power_set
dbr
:Axiom_of_regularity
dbr
:Axiom_of_union
dbr
:Axiom_schema
dbr
:Axiom_schema_of_replacement
dbr
:Kurt_Gödel
dbr
:Ordinal_number
dbr
:Cantor's_diagonal_argument
dbr
:Cantor's_paradox
dbr
:Set_(mathematics)
dbr
:Set_theory
dbr
:Martin's_axiom
dbr
:Singleton_(mathematics)
dbr
:Union_(set_theory)
dbr
:Venn_diagram
dbr
:Von_Neumann_universe
dbr
:Nested_set
dbr
:Symmetric_difference
dbr
:Universal_set
dbr
:List_of_types_of_sets
dbr
:Morse–Kelley_set_theory
dbr
:Set-builder_notation
dbr
:Non-well-founded_set_theory
dbr
:Tarski's_theorem_about_choice
dbr
:Subset
dbr
:Zermelo_set_theory
dbr
:Vague_set
dbr
:Uncountable_set
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 3.0 Unported License