Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Axiom_schema_of_specification> ?p ?o. }
Showing items 1 to 32 of
32
with 100 items per page.
- Axiom_schema_of_specification abstract "In axiomatic set theory and the branches of logic, mathematics, and computer science that use it, the axiom schema of specification, axiom schema of separation, subset axiom scheme or axiom schema of restricted comprehension is a schema of axioms in Zermelo–Fraenkel set theory. 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.".
- Axiom_schema_of_specification wikiPageID "52386".
- Axiom_schema_of_specification wikiPageRevisionID "580319145".
- Axiom_schema_of_specification hasPhotoCollection Axiom_schema_of_specification.
- Axiom_schema_of_specification subject Category:Axioms_of_set_theory.
- Axiom_schema_of_specification type Abstraction100002137.
- Axiom_schema_of_specification type AuditoryCommunication107109019.
- Axiom_schema_of_specification type AxiomsOfSetTheory.
- Axiom_schema_of_specification type Communication100033020.
- Axiom_schema_of_specification type Maxim107152948.
- Axiom_schema_of_specification type Saying107151380.
- Axiom_schema_of_specification type Speech107109196.
- Axiom_schema_of_specification comment "In axiomatic set theory and the branches of logic, mathematics, and computer science that use it, the axiom schema of specification, axiom schema of separation, subset axiom scheme or axiom schema of restricted comprehension is a schema of axioms in Zermelo–Fraenkel set theory. 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.".
- Axiom_schema_of_specification label "Aksjomat podzbiorów".
- Axiom_schema_of_specification label "Aussonderungsaxiom".
- Axiom_schema_of_specification label "Axiom schema of specification".
- Axiom_schema_of_specification label "Axioma da separação".
- Axiom_schema_of_specification label "Schema di assiomi di specificazione".
- Axiom_schema_of_specification label "Schéma d'axiomes de compréhension".
- Axiom_schema_of_specification label "Схема выделения".
- Axiom_schema_of_specification label "分类公理".
- Axiom_schema_of_specification sameAs Aussonderungsaxiom.
- Axiom_schema_of_specification sameAs Schéma_d'axiomes_de_compréhension.
- 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 Q780487.
- Axiom_schema_of_specification sameAs Q780487.
- Axiom_schema_of_specification sameAs Axiom_schema_of_specification.
- Axiom_schema_of_specification wasDerivedFrom Axiom_schema_of_specification?oldid=580319145.
- Axiom_schema_of_specification isPrimaryTopicOf Axiom_schema_of_specification.