Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Axiom_schema_of_specification> ?p ?o }
Showing triples 1 to 89 of
89
with 100 triples per page.
- Axiom_schema_of_specification abstract "In many popular versions of axiomatic set theory the axiom schema of specification, also known as the axiom schema of separation, subset axiom scheme or axiom schema of restricted comprehension is an axiom schema. Essentially, it says that any definable subclass of a set is a set.Some mathematicians call it the axiom schema of comprehension, although others use that term for unrestricted comprehension, discussed below.Because restricted comprehension solved Russell's paradox, several mathematicians including Zermelo, Fraenkel, and Gödel considered it the most important axiom of set theory.".
- Axiom_schema_of_specification wikiPageID "52386".
- Axiom_schema_of_specification wikiPageLength "9559".
- Axiom_schema_of_specification wikiPageOutDegree "51".
- Axiom_schema_of_specification wikiPageRevisionID "658934674".
- Axiom_schema_of_specification wikiPageWikiLink Abraham_Fraenkel.
- Axiom_schema_of_specification wikiPageWikiLink Alternative_set_theory.
- Axiom_schema_of_specification wikiPageWikiLink Axiom_of_empty_set.
- Axiom_schema_of_specification wikiPageWikiLink Axiom_of_extensionality.
- Axiom_schema_of_specification wikiPageWikiLink Axiom_of_regularity.
- Axiom_schema_of_specification wikiPageWikiLink Axiom_schema.
- Axiom_schema_of_specification wikiPageWikiLink Axiom_schema_of_replacement.
- Axiom_schema_of_specification wikiPageWikiLink Category:Axioms_of_set_theory.
- Axiom_schema_of_specification wikiPageWikiLink Class_(set_theory).
- Axiom_schema_of_specification wikiPageWikiLink Classical_logic.
- Axiom_schema_of_specification wikiPageWikiLink Empty_set.
- Axiom_schema_of_specification wikiPageWikiLink Ernst_Zermelo.
- Axiom_schema_of_specification wikiPageWikiLink Existential_quantification.
- Axiom_schema_of_specification wikiPageWikiLink Functional_predicate.
- Axiom_schema_of_specification wikiPageWikiLink Higher-order_logic.
- Axiom_schema_of_specification wikiPageWikiLink If_and_only_if.
- Axiom_schema_of_specification wikiPageWikiLink Intersection_(set_theory).
- Axiom_schema_of_specification wikiPageWikiLink Kripke–Platek_set_theory_with_urelements.
- Axiom_schema_of_specification wikiPageWikiLink Kurt_Gödel.
- Axiom_schema_of_specification wikiPageWikiLink Logical_conjunction.
- Axiom_schema_of_specification wikiPageWikiLink Naive_Set_Theory_(book).
- Axiom_schema_of_specification wikiPageWikiLink Naive_set_theory.
- Axiom_schema_of_specification wikiPageWikiLink New_Foundations.
- Axiom_schema_of_specification wikiPageWikiLink Oxford_University_Press.
- Axiom_schema_of_specification wikiPageWikiLink Paul_Halmos.
- Axiom_schema_of_specification wikiPageWikiLink Positive_set_theory.
- Axiom_schema_of_specification wikiPageWikiLink Predicate_(mathematical_logic).
- Axiom_schema_of_specification wikiPageWikiLink Russells_paradox.
- Axiom_schema_of_specification wikiPageWikiLink Second-order_logic.
- Axiom_schema_of_specification wikiPageWikiLink Semiset.
- Axiom_schema_of_specification wikiPageWikiLink Set-builder_notation.
- Axiom_schema_of_specification wikiPageWikiLink Set_(mathematics).
- Axiom_schema_of_specification wikiPageWikiLink Set_theory.
- Axiom_schema_of_specification wikiPageWikiLink Stratification_(mathematics).
- Axiom_schema_of_specification wikiPageWikiLink Subclass_(set_theory).
- Axiom_schema_of_specification wikiPageWikiLink Subset.
- Axiom_schema_of_specification wikiPageWikiLink Theorem.
- Axiom_schema_of_specification wikiPageWikiLink Type_theory.
- Axiom_schema_of_specification wikiPageWikiLink Variable_(mathematics).
- Axiom_schema_of_specification wikiPageWikiLink Von_Neumann–Bernays–Gödel_set_theory.
- Axiom_schema_of_specification wikiPageWikiLink Willard_Van_Orman_Quine.
- Axiom_schema_of_specification wikiPageWikiLink Zermelo–Fraenkel_set_theory.
- Axiom_schema_of_specification wikiPageWikiLinkText "Axiom Schema of Specification".
- Axiom_schema_of_specification wikiPageWikiLinkText "Axiom of Separation".
- Axiom_schema_of_specification wikiPageWikiLinkText "Axiom schema of specification".
- Axiom_schema_of_specification wikiPageWikiLinkText "Axiom schema of specification#Unrestricted comprehension".
- Axiom_schema_of_specification wikiPageWikiLinkText "Axiom_schema_of_specification".
- Axiom_schema_of_specification wikiPageWikiLinkText "Principle of Unrestricted Comprehension".
- Axiom_schema_of_specification wikiPageWikiLinkText "Separation".
- Axiom_schema_of_specification wikiPageWikiLinkText "Specification".
- Axiom_schema_of_specification wikiPageWikiLinkText "axiom of comprehension".
- Axiom_schema_of_specification wikiPageWikiLinkText "axiom of unrestricted comprehension".
- Axiom_schema_of_specification wikiPageWikiLinkText "axiom schema of specification".
- Axiom_schema_of_specification wikiPageWikiLinkText "axiom schema of unrestricted comprehension".
- Axiom_schema_of_specification wikiPageWikiLinkText "comprehension".
- Axiom_schema_of_specification wikiPageWikiLinkText "restricted comprehension".
- Axiom_schema_of_specification wikiPageWikiLinkText "specification".
- Axiom_schema_of_specification wikiPageWikiLinkText "unrestricted comprehension".
- Axiom_schema_of_specification wikiPageUsesTemplate Template:Cite_book.
- Axiom_schema_of_specification wikiPageUsesTemplate Template:No_footnotes.
- Axiom_schema_of_specification wikiPageUsesTemplate Template:Redirect.
- Axiom_schema_of_specification wikiPageUsesTemplate Template:Refbegin.
- Axiom_schema_of_specification wikiPageUsesTemplate Template:Refend.
- Axiom_schema_of_specification wikiPageUsesTemplate Template:Reflist.
- Axiom_schema_of_specification wikiPageUsesTemplate Template:Set_theory.
- Axiom_schema_of_specification subject Category:Axioms_of_set_theory.
- Axiom_schema_of_specification hypernym Schema.
- Axiom_schema_of_specification type ProgrammingLanguage.
- Axiom_schema_of_specification comment "In many popular versions of axiomatic set theory the axiom schema of specification, also known as the axiom schema of separation, subset axiom scheme or axiom schema of restricted comprehension is an axiom schema.".
- Axiom_schema_of_specification label "Axiom schema of specification".
- Axiom_schema_of_specification sameAs Q780487.
- Axiom_schema_of_specification sameAs Aussonderungsaxiom.
- Axiom_schema_of_specification sameAs اصل_موضوع_تصریح.
- Axiom_schema_of_specification sameAs Schxc3xa9ma_daxiomes_de_comprxc3xa9hension.
- Axiom_schema_of_specification sameAs Schema_di_assiomi_di_specificazione.
- Axiom_schema_of_specification sameAs Aksjomat_podzbiorów.
- Axiom_schema_of_specification sameAs Axioma_da_separação.
- Axiom_schema_of_specification sameAs m.0ds1t.
- Axiom_schema_of_specification sameAs Delmängdsaxiomet.
- Axiom_schema_of_specification sameAs Аксіома_схеми_виділення.
- Axiom_schema_of_specification sameAs Q780487.
- Axiom_schema_of_specification sameAs 分类公理.
- Axiom_schema_of_specification wasDerivedFrom Axiom_schema_of_specification?oldid=658934674.
- Axiom_schema_of_specification isPrimaryTopicOf Axiom_schema_of_specification.