About: Implementation of mathematics in set theory

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

unknown

Property	Value
dbo:wikiPageExternalLink	https://randall-holmes.github.io/nf.html http://us.metamath.org/ http://setis.library.usyd.edu.au/stanford/entries/settheory-alternative/ http://plato.stanford.edu/entries/quine-nf https://randall-holmes.github.io/head.pdf
dbo:wikiPageWikiLink	dbr:Class_(set_theory) dbr:Proper_class dbr:Function_composition dbr:Dana_Scott dbr:New_Foundations dbc:Set_theory dbr:Function_(mathematics) dbr:Set_theory dbr:Bertrand_Russell dbr:First-order_logic dbr:Cardinal_number dbc:Large-scale_mathematical_formalization_projects dbr:Principia_Mathematica dbr:Cantor's_paradox dbr:Theory_of_descriptions dbr:Keith_Devlin dbr:Measurable_cardinal dbr:Free_variables_and_bound_variables dbr:Well-formed_formula dbr:Set-builder_notation dbr:Formal_language dbr:Inverse_function dbr:Ordered_pair dbr:Ordinal_number dbr:Set-theoretic_definition_of_natural_numbers dbr:Von_Neumann_ordinal dbr:Zermelo_set_theory dbr:Zermelo–Fraenkel_set_theory dbr:Reflexive_relation dbr:Symmetric_relation dbr:Up_to dbc:Mathematical_logic dbr:Cartesian_product dbr:Norbert_Wiener dbr:Converse_relation dbr:John_von_Neumann dbr:Von_Neumann–Bernays–Gödel_set_theory dbc:Formalism_(deductive) dbr:Binary_relation dbr:Equivalence_relation dbr:Linear_order dbr:Axiom_of_replacement dbr:Axiom_schema_of_separation dbr:Equinumerous dbr:Well-founded_relation dbr:Kazimierz_Kuratowski dbr:Transitive_relation dbr:Partial_order dbr:Empty_set dbr:Axiom_of_union dbr:Urelement dbr:Bijection dbr:Injective_function dbr:Union_(set_theory) dbr:Axiom_of_infinity dbr:Axiom_of_pairing dbr:Projection_(mathematics) dbr:Image_(mathematics) dbr:Preimage dbr:Scott's_trick dbr:Large_cardinal_property dbr:Axiom_of_choice dbr:Antisymmetric_relation dbr:Stanford_Encyclopedia_of_Philosophy dbr:Rank_(set_theory) dbr:Representative_(mathematics) dbr:ZFC dbr:Relation_(mathematics) dbr:Axiomatic_set_theory dbr:Predicate_(logic) dbr:Peano_arithmetic dbr:Stratified_formula dbr:Transfinite_recursion dbr:Well-ordering dbr:Binary_predicate dbr:Natural_numbers dbr:Cantor–Bernstein–Schroeder_theorem dbr:Injective dbr:R._B._Jensen dbr:Relation_composition dbr:Surjection dbr:Mahlo_cardinals dbr:Mirimanoff's_paradox
dbp:wikiPageUsesTemplate	dbt:Mathematical_logic dbt:Main_article dbt:Short_description
dct:subject	dbc:Set_theory dbc:Large-scale_mathematical_formalization_projects dbc:Mathematical_logic dbc:Formalism_(deductive)
rdfs:label	Implementation of mathematics in set theory (en)
owl:sameAs	freebase:Implementation of mathematics in set theory yago-res:Implementation of mathematics in set theory wikidata:Implementation of mathematics in set theory dbpedia-global:Implementation of mathematics in set theory
prov:wasDerivedFrom	wikipedia-en:Implementation_of_mathematics_in_set_theory?oldid=1288482286&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Implementation_of_mathematics_in_set_theory
is dbo:academicDiscipline of	dbr:Journal_of_Formalized_Reasoning
is dbo:wikiPageRedirects of	dbr:Mathematical_formalization dbr:Mathematical_formalization dbr:Formalized_mathematics
is dbo:wikiPageWikiLink of	dbr:New_Foundations dbr:Interactive_Theorem_Proving_(conference) dbr:Pocket_set_theory dbr:Mizar_system dbr:Foundations_of_mathematics dbr:Mathematical_formalization dbr:Formalized_mathematics
is dbp:discipline of	dbr:Journal_of_Formalized_Reasoning
is foaf:primaryTopic of	wikipedia-en:Implementation_of_mathematics_in_set_theory