This HTML5 document contains 177 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

Prefix	IRI
dbpedia-de	http://de.dbpedia.org/resource/
dct	http://purl.org/dc/terms/
yago-res	http://yago-knowledge.org/resource/
dbo	http://dbpedia.org/ontology/
foaf	http://xmlns.com/foaf/0.1/
n7	https://global.dbpedia.org/id/
yago	http://dbpedia.org/class/yago/
dbt	http://dbpedia.org/resource/Template:
dbpedia-uk	http://uk.dbpedia.org/resource/
rdfs	http://www.w3.org/2000/01/rdf-schema#
dbpedia-hr	http://hr.dbpedia.org/resource/
dbpedia-sv	http://sv.dbpedia.org/resource/
freebase	http://rdf.freebase.com/ns/
dbpedia-pt	http://pt.dbpedia.org/resource/
dbpedia-pl	http://pl.dbpedia.org/resource/
dbpedia-fa	http://fa.dbpedia.org/resource/
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
owl	http://www.w3.org/2002/07/owl#
dbpedia-it	http://it.dbpedia.org/resource/
dbpedia-zh	http://zh.dbpedia.org/resource/
dbpedia-fr	http://fr.dbpedia.org/resource/
wikipedia-en	http://en.wikipedia.org/wiki/
dbp	http://dbpedia.org/property/
prov	http://www.w3.org/ns/prov#
dbc	http://dbpedia.org/resource/Category:
xsdh	http://www.w3.org/2001/XMLSchema#
wikidata	http://www.wikidata.org/entity/
dbpedia-nl	http://nl.dbpedia.org/resource/
gold	http://purl.org/linguistics/gold/
dbr	http://dbpedia.org/resource/

Statements

Subject Item

dbr:Cantor's_theorem

dbo:wikiPageWikiLink

dbr:Axiom_schema_of_specification

Subject Item

dbr:Cartesian_product

dbo:wikiPageWikiLink

dbr:Axiom_schema_of_specification

Subject Item

dbr:List_of_axioms

dbo:wikiPageWikiLink

dbr:Axiom_schema_of_specification

Subject Item

dbr:List_of_first-order_theories

dbo:wikiPageWikiLink

dbr:Axiom_schema_of_specification

Subject Item

dbr:New_Foundations

dbo:wikiPageWikiLink

dbr:Axiom_schema_of_specification

Subject Item

dbr:Curry's_paradox

dbo:wikiPageWikiLink

dbr:Axiom_schema_of_specification

Subject Item

dbr:General_set_theory

dbo:wikiPageWikiLink

dbr:Axiom_schema_of_specification

Subject Item

dbr:Glossary_of_set_theory

dbo:wikiPageWikiLink

dbr:Axiom_schema_of_specification

Subject Item

dbr:Naive_set_theory

dbo:wikiPageWikiLink

dbr:Axiom_schema_of_specification

Subject Item

dbr:Constructive_set_theory

dbo:wikiPageWikiLink

dbr:Axiom_schema_of_specification

Subject Item

dbr:Zermelo–Fraenkel_set_theory

dbo:wikiPageWikiLink

dbr:Axiom_schema_of_specification

Subject Item

dbr:Axiom_schema_of_specification

rdf:type

yago:WikicatAxiomsOfSetTheory yago:Abstraction100002137 yago:Communication100033020 yago:Speech107109196 yago:AuditoryCommunication107109019 owl:Thing yago:Saying107151380 yago:Maxim107152948 dbo:ProgrammingLanguage

rdfs:label

Аксіомна схема виділення Aksjomat podzbiorów Aussonderungsaxiom Axioma da separação Delmängdsaxiomet 分类公理 Axiom schema of specification Axiomaschema van afscheiding Schema di assiomi di specificazione Schéma d'axiomes de compréhension

rdfs:comment

Das Aussonderungsaxiom stammt aus der Zermelo-Mengenlehre von 1907 und ist daher auch Bestandteil der erweiterten, heute maßgeblichen Zermelo-Fraenkel-Mengenlehre ZF. Es besagt informell, dass alle Teilklassen von Mengen ebenfalls Mengen sind. In der prädikatenlogischen Sprache wird das Aussonderungsaxiom präzisiert als Axiomenschema, das unendlich viele Axiome umfasst; daher wird es heute auch oft als Aussonderungsschema bezeichnet. У теорії множин та області логіки, математики та інформатики, які її використовують, аксіомна схема виділення, аксіомна схема поділу, аксіомна схема підмножин або аксіомна схема обмеженого розуміння, є схемою з аксіоми Цермело-Френкеля. Аксіомна схема виділення також називається аксіомною схемою розуміння, хоча цей термін також використовується для необмеженого розуміння. По суті, вона говорить, що будь-який визначений підклас множини є множина. Aksjomat podzbiorów, aksjomat wyróżniania, aksjomat wycinania – jeden z aksjomatów teorii mnogości w ujęciu Zermela-Fraenkla. Wprowadzony do pierwszej aksjomatyki teorii mnogości przez Zermela w roku 1908. W pierwotnej postaci wzbudzał wiele kontrowersji; współczesna postać pochodzi od Skolema. Aksjomat stwierdza: Dla danego predykatu P z jedną zmienną, niezawierającego symbolu B: Czyli każde wskazanie elementów dowolnego zbioru A formułą P jest pewnym zbiorem (zawartym w A). 在公理化集合论和使用它的逻辑、数學和计算机科学分支中，分类公理模式、或分离公理模式、或受限概括公理模式是 Zermelo-Fraenkel 集合论中的一个公理模式。它也叫做概括公理模式，尽管这个术语也用于下面讨论的无限制概括 假定 P 是不含符号 B 的一个單变量谓词。在 Zermelo-Fraenkel 公理的形式语言中，这个公理模式读做： 换句话说： 给定任何集合 A，有着一个集合 B，使得给定任何集合 x，有 x 是 B 的成员当且仅当 x 是 A 的成员并且 P 对于 x 成立。注意对于所有这种谓词 P 都有一个公理，所以这是个公理模式。 要理解这个公理模式，注意集合 B 必须是 A 的子集。所以，这个公理模式实际上说的是，给定集合 A 和谓词 P，我们可以找到 A 的子集 B，它的成员正是那些满足 P 的 A 的成员。通过外延公理可知这个集合是唯一的。我们通常使用集合建構式符号把它指示为 {x∈A : P(x)}。所以这个公理的本质是： 一个通过一个谓词定义的集合的任何子类自身是一个集合。 Nella teoria degli insiemi, lo schema di assiomi di specificazione, o schema di assiomi di separazione, è uno schema di assiomi della teoria degli insiemi di Zermelo-Fraenkel.È anche detto schema di assiomi di comprensione, benché il termine sia usato anche per la comprensione non ristretta, discussa più avanti. Sia P un generico predicato in una variabile che non usa il simbolo B.Allora nel linguaggio formale degli assiomi di Zermelo-Fraenkel, l'assioma si scrive: oppure a parole: Si noti che esiste un assioma per ogni predicato P di quella forma; quindi questo è uno schema di assiomi. 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 restricting comprehension avoided Russell's paradox, several mathematicians including Zermelo, Fraenkel, and Gödel considered it the most important axiom of set theory. Le schéma d'axiomes de compréhension, ou schéma d'axiomes de séparation, est un schéma d'axiomes de la théorie des ensembles introduit par Zermelo dans sa théorie des ensembles, souvent notée Z. On dit souvent en abrégé schéma de compréhension ou schéma de séparation. La théorie des classes permet de l'exprimer comme un seul axiome. In de axiomatische verzamelingenleer en de deelgebieden van de logica, de wiskunde, en de informatica die daar gebruik van maken is het axiomaschema van afscheiding een axiomaschema dat deel uitmaakt van de Zermelo-Fraenkel-verzamelingenleer. Voor een gegeven verzameling en een gegeven eigenschap garandeert dit schema het bestaan van een deelverzameling bestaande uit de elementen die aan de eigenschap voldoen. O Axioma da separação (também conhecido como Axioma da compreensão ou Axioma de especificação) é um dos axiomas (ou, mais precisamente, um dos esquemas de axiomas) que fazem parte dos Axiomas de Zermelo-Fraenkel da Teoria dos Conjuntos. Essencialmente, o axioma diz que se um conjunto A existe, e conseguimos descrever (através de uma propriedade) elementos deste conjunto, então existe um conjunto B, subconjunto de A, que contém estes elementos. Este "axioma" é, a rigor, um , porque, para cada propriedade Φ, existe um "axioma da separação". Delmängdsaxiomet är det axiom inom ZFC som tillåter mängder vars element har en speciell egenskap . I princip säger axiomet att varje definierbar av en mängd är en mängd.

rdfs:seeAlso

dbr:Basic_Law_V

dct:subject

dbc:Axioms_of_set_theory

dbo:wikiPageID

52386

dbo:wikiPageRevisionID

1073101360

dbo:wikiPageWikiLink

dbr:Existential_quantification dbr:Subset dbr:Set-builder_notation dbr:Empty_set dbr:Alternative_Set_Theory dbr:W._V._O._Quine dbr:Set_(mathematics) dbr:Abraham_Fraenkel dbr:Positive_set_theory dbr:Free_variables dbr:Naive_set_theory dbr:Class_(set_theory) dbr:Second-order_logic dbr:Gödel dbr:Functional_predicate dbr:Subclass_(set_theory) dbr:Stratification_(mathematics) dbr:Well-formed_formula dbc:Axioms_of_set_theory dbr:New_Foundations dbr:ZFC dbr:Axiom_of_choice dbr:Axiomatic_set_theory dbr:Axiom_of_regularity dbr:Axiom_schema dbr:Theorem dbr:Axiom_of_empty_set dbr:Variable_(mathematics) dbr:Axiom_of_extensionality dbr:Semiset dbr:Alternative_set_theory dbr:If_and_only_if dbr:Paul_Halmos dbr:Naive_Set_Theory_(book) dbr:Complement_(set_theory) dbr:Von_Neumann–Bernays–Gödel_set_theory dbr:Russell's_paradox dbr:Intersection_(set_theory) dbr:Logical_conjunction dbr:Higher-order_logic dbr:Oxford_University_Press dbr:Kripke–Platek_set_theory_with_urelements dbr:Axiom_schema_of_replacement dbr:Predicate_(mathematics) dbr:Zermelo dbr:Type_theory

owl:sameAs

wikidata:Q780487 n7:4wYVP dbpedia-zh:分类公理 dbpedia-nl:Axiomaschema_van_afscheiding yago-res:Axiom_schema_of_specification dbpedia-fr:Schéma_d'axiomes_de_compréhension dbpedia-fa:اصل_موضوع_تصریح dbpedia-uk:Аксіомна_схема_виділення freebase:m.0ds1t dbpedia-de:Aussonderungsaxiom dbpedia-pl:Aksjomat_podzbiorów dbpedia-it:Schema_di_assiomi_di_specificazione dbpedia-pt:Axioma_da_separação dbpedia-sv:Delmängdsaxiomet dbpedia-hr:Načelo_komprehenzije

dbp:wikiPageUsesTemplate

dbt:Short_description dbt:Refbegin dbt:Refend dbt:Reflist dbt:Block_indent dbt:Redirect dbt:Cite_book dbt:ISBN dbt:Math dbt:Also dbt:Set_theory dbt:No_footnotes dbt:Var dbt:Mvar dbt:Sub

dbo:abstract

在公理化集合论和使用它的逻辑、数學和计算机科学分支中，分类公理模式、或分离公理模式、或受限概括公理模式是 Zermelo-Fraenkel 集合论中的一个公理模式。它也叫做概括公理模式，尽管这个术语也用于下面讨论的无限制概括 假定 P 是不含符号 B 的一个單变量谓词。在 Zermelo-Fraenkel 公理的形式语言中，这个公理模式读做： 换句话说： 给定任何集合 A，有着一个集合 B，使得给定任何集合 x，有 x 是 B 的成员当且仅当 x 是 A 的成员并且 P 对于 x 成立。注意对于所有这种谓词 P 都有一个公理，所以这是个公理模式。 要理解这个公理模式，注意集合 B 必须是 A 的子集。所以，这个公理模式实际上说的是，给定集合 A 和谓词 P，我们可以找到 A 的子集 B，它的成员正是那些满足 P 的 A 的成员。通过外延公理可知这个集合是唯一的。我们通常使用集合建構式符号把它指示为 {x∈A : P(x)}。所以这个公理的本质是： 一个通过一个谓词定义的集合的任何子类自身是一个集合。 分类公理模式是与 ZFC 集合论有关的公理集合論系統的特征，但在根本上不同的可替代的集合论系统中通常不出现。例如，新基礎集合論和正集合论使用对朴素集合论的概括公理的不同的限制。Vopenka 的可替代的集合论有一个特殊要点，它允许集合的真子类的存在，這樣的真類叫做半集合。即使在与 ZFC 有关的系统中，这个公理模式有时也限制于带有的公式，比如在中。 Aksjomat podzbiorów, aksjomat wyróżniania, aksjomat wycinania – jeden z aksjomatów teorii mnogości w ujęciu Zermela-Fraenkla. Wprowadzony do pierwszej aksjomatyki teorii mnogości przez Zermela w roku 1908. W pierwotnej postaci wzbudzał wiele kontrowersji; współczesna postać pochodzi od Skolema. Aksjomat stwierdza: Dla danego predykatu P z jedną zmienną, niezawierającego symbolu B: Czyli każde wskazanie elementów dowolnego zbioru A formułą P jest pewnym zbiorem (zawartym w A). W istocie nie jest on jednym aksjomatem, lecz schematem aksjomatów, tzn. mamy do czynienia z nieskończonym zbiorem aksjomatów. Każdej formule odpowiada osobny aksjomat. O Axioma da separação (também conhecido como Axioma da compreensão ou Axioma de especificação) é um dos axiomas (ou, mais precisamente, um dos esquemas de axiomas) que fazem parte dos Axiomas de Zermelo-Fraenkel da Teoria dos Conjuntos. Essencialmente, o axioma diz que se um conjunto A existe, e conseguimos descrever (através de uma propriedade) elementos deste conjunto, então existe um conjunto B, subconjunto de A, que contém estes elementos. Este "axioma" é, a rigor, um , porque, para cada propriedade Φ, existe um "axioma da separação". Das Aussonderungsaxiom stammt aus der Zermelo-Mengenlehre von 1907 und ist daher auch Bestandteil der erweiterten, heute maßgeblichen Zermelo-Fraenkel-Mengenlehre ZF. Es besagt informell, dass alle Teilklassen von Mengen ebenfalls Mengen sind. In der prädikatenlogischen Sprache wird das Aussonderungsaxiom präzisiert als Axiomenschema, das unendlich viele Axiome umfasst; daher wird es heute auch oft als Aussonderungsschema bezeichnet. In de axiomatische verzamelingenleer en de deelgebieden van de logica, de wiskunde, en de informatica die daar gebruik van maken is het axiomaschema van afscheiding een axiomaschema dat deel uitmaakt van de Zermelo-Fraenkel-verzamelingenleer. Voor een gegeven verzameling en een gegeven eigenschap garandeert dit schema het bestaan van een deelverzameling bestaande uit de elementen die aan de eigenschap voldoen. Nella teoria degli insiemi, lo schema di assiomi di specificazione, o schema di assiomi di separazione, è uno schema di assiomi della teoria degli insiemi di Zermelo-Fraenkel.È anche detto schema di assiomi di comprensione, benché il termine sia usato anche per la comprensione non ristretta, discussa più avanti. Sia P un generico predicato in una variabile che non usa il simbolo B.Allora nel linguaggio formale degli assiomi di Zermelo-Fraenkel, l'assioma si scrive: oppure a parole: Dato un generico insieme A, esiste un insieme B tale che, dato un generico insieme C, C è un elemento di B se e solo se C è un elemento di A e P vale per C. Si noti che esiste un assioma per ogni predicato P di quella forma; quindi questo è uno schema di assiomi. Per comprendere questo schema di assiomi, si noti che B deve essere un sottoinsieme di A.Quindi, quello che l'assioma sta realmente dicendo è che, dato un insieme A e un predicato P, possiamo trovare un sottoinsieme B di A i cui elementi sono precisamente gli elementi di A che soddisfano P. Per l'assioma di estensionalità questo insieme è unico. Denotiamo usualmente questo insieme, mediante la , come {C ∈ A : P(C)}.Quindi l'essenza dell'assioma è: Ogni sottoclasse di un insieme definita da un predicato è essa stessa un insieme. Lo schema di assiomi di specificazione è generalmente considerato non controverso, e appare in questa forma o in una forma equivalente in quasi tutte le assiomatizzazioni della teoria degli insiemi.In realtà molte formulazioni alternative della teoria degli insiemi cercano di trovare uno schema di assiomi ancora più generoso, invece di fermarsi allo schema di assiomi della comprensione (non ristretta) menzionato più avanti. 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 restricting comprehension avoided Russell's paradox, several mathematicians including Zermelo, Fraenkel, and Gödel considered it the most important axiom of set theory. У теорії множин та області логіки, математики та інформатики, які її використовують, аксіомна схема виділення, аксіомна схема поділу, аксіомна схема підмножин або аксіомна схема обмеженого розуміння, є схемою з аксіоми Цермело-Френкеля. Аксіомна схема виділення також називається аксіомною схемою розуміння, хоча цей термін також використовується для необмеженого розуміння. По суті, вона говорить, що будь-який визначений підклас множини є множина. Le schéma d'axiomes de compréhension, ou schéma d'axiomes de séparation, est un schéma d'axiomes de la théorie des ensembles introduit par Zermelo dans sa théorie des ensembles, souvent notée Z. On dit souvent en abrégé schéma de compréhension ou schéma de séparation. La théorie des classes permet de l'exprimer comme un seul axiome. Delmängdsaxiomet är det axiom inom ZFC som tillåter mängder vars element har en speciell egenskap . I princip säger axiomet att varje definierbar av en mängd är en mängd.

gold:hypernym

dbr:Schema

prov:wasDerivedFrom

wikipedia-en:Axiom_schema_of_specification?oldid=1073101360&ns=0

dbo:wikiPageLength

10898

foaf:isPrimaryTopicOf

wikipedia-en:Axiom_schema_of_specification

Subject Item

dbr:Absolute_Infinite

dbo:wikiPageWikiLink

dbr:Axiom_schema_of_specification

Subject Item

dbr:Fallibilism

dbo:wikiPageWikiLink

dbr:Axiom_schema_of_specification

Subject Item

dbr:Dialetheism

dbo:wikiPageWikiLink

dbr:Axiom_schema_of_specification

Subject Item

dbr:History_of_mathematical_notation

dbo:wikiPageWikiLink

dbr:Axiom_schema_of_specification

Subject Item

dbr:Comprehension_axiom

dbo:wikiPageWikiLink

dbr:Axiom_schema_of_specification

dbo:wikiPageRedirects

dbr:Axiom_schema_of_specification

Subject Item

dbr:Gödel's_incompleteness_theorems

dbo:wikiPageWikiLink

dbr:Axiom_schema_of_specification

Subject Item

dbr:Subcountability

dbo:wikiPageWikiLink

dbr:Axiom_schema_of_specification

Subject Item

dbr:Axiom_of_infinity

dbo:wikiPageWikiLink

dbr:Axiom_schema_of_specification

Subject Item

dbr:Axiom_of_union

dbo:wikiPageWikiLink

dbr:Axiom_schema_of_specification

Subject Item

dbr:Axiom_schema

dbo:wikiPageWikiLink

dbr:Axiom_schema_of_specification

Subject Item

dbr:Set_theory

dbo:wikiPageWikiLink

dbr:Axiom_schema_of_specification

Subject Item

dbr:S_(set_theory)

dbo:wikiPageWikiLink

dbr:Axiom_schema_of_specification

Subject Item

dbr:S2S_(mathematics)

dbo:wikiPageWikiLink

dbr:Axiom_schema_of_specification

Subject Item

dbr:Axiom_of_abstraction

dbo:wikiPageWikiLink

dbr:Axiom_schema_of_specification

dbo:wikiPageRedirects

dbr:Axiom_schema_of_specification

Subject Item

dbr:Axiom_of_comprehension

dbo:wikiPageWikiLink

dbr:Axiom_schema_of_specification

dbo:wikiPageRedirects

dbr:Axiom_schema_of_specification

Subject Item

dbr:Axiom_of_separation

dbo:wikiPageWikiLink

dbr:Axiom_schema_of_specification

dbo:wikiPageRedirects

dbr:Axiom_schema_of_specification

Subject Item

dbr:Axiom_of_specification

dbo:wikiPageWikiLink

dbr:Axiom_schema_of_specification

dbo:wikiPageRedirects

dbr:Axiom_schema_of_specification

Subject Item

dbr:Axiom_of_subsets

dbo:wikiPageWikiLink

dbr:Axiom_schema_of_specification

dbo:wikiPageRedirects

dbr:Axiom_schema_of_specification

Subject Item

dbr:Axiom_schema_of_comprehension

dbo:wikiPageWikiLink

dbr:Axiom_schema_of_specification

dbo:wikiPageRedirects

dbr:Axiom_schema_of_specification

Subject Item

dbr:Axiom_schema_of_restricted_comprehension

dbo:wikiPageWikiLink

dbr:Axiom_schema_of_specification

dbo:wikiPageRedirects

dbr:Axiom_schema_of_specification

Subject Item

dbr:Axiom_schema_of_separation

dbo:wikiPageWikiLink

dbr:Axiom_schema_of_specification

dbo:wikiPageRedirects

dbr:Axiom_schema_of_specification

Subject Item

dbr:Axiom_schema_of_unrestricted_comprehension

dbo:wikiPageWikiLink

dbr:Axiom_schema_of_specification

dbo:wikiPageRedirects

dbr:Axiom_schema_of_specification

Subject Item

dbr:Axioms_of_subsets

dbo:wikiPageWikiLink

dbr:Axiom_schema_of_specification

dbo:wikiPageRedirects

dbr:Axiom_schema_of_specification

Subject Item

dbr:Unrestricted_comprehension

dbo:wikiPageWikiLink

dbr:Axiom_schema_of_specification

dbo:wikiPageRedirects

dbr:Axiom_schema_of_specification

Subject Item

dbr:Unrestricted_comprehension_principle

dbo:wikiPageWikiLink

dbr:Axiom_schema_of_specification

dbo:wikiPageRedirects

dbr:Axiom_schema_of_specification

Subject Item

dbr:Aussonderungsaxiom

dbo:wikiPageWikiLink

dbr:Axiom_schema_of_specification

dbo:wikiPageRedirects

dbr:Axiom_schema_of_specification

Subject Item

dbr:Subset_axiom

dbo:wikiPageWikiLink

dbr:Axiom_schema_of_specification

dbo:wikiPageRedirects

dbr:Axiom_schema_of_specification

Subject Item

wikipedia-en:Axiom_schema_of_specification

foaf:primaryTopic

dbr:Axiom_schema_of_specification