comprehension, axiom of

comprehension, axiom of
The unrestricted axiom of comprehension in set theory states that to every condition there corresponds a set of things meeting the condition: ( ∃y ) (y = x : F x ). The axiom needs restriction, since Russell's paradox shows that in this form it will lead to contradiction. For the classical repair see separation, axiom of.

Philosophy dictionary. . 2011.

Игры ⚽ Нужен реферат?

Look at other dictionaries:

  • comprehension — comprehension, axiom of …   Philosophy dictionary

  • Comprehension de liste — Compréhension de liste Une liste, comme un ensemble, peut être définie par la donnée d une propriété caractéristique de ses éléments, on dit qu on l a définie en compréhension. Comme cette construction offre des avantages de lisibilité et de… …   Wikipédia en Français

  • Compréhension De Liste — Une liste, comme un ensemble, peut être définie par la donnée d une propriété caractéristique de ses éléments, on dit qu on l a définie en compréhension. Comme cette construction offre des avantages de lisibilité et de concision, certains… …   Wikipédia en Français

  • Compréhension de liste — Une liste, comme un ensemble, peut être définie par la donnée d une propriété caractéristique de ses éléments, on dit qu on l a définie en compréhension. Comme cette construction offre des avantages de lisibilité et de concision, certains… …   Wikipédia en Français

  • Axiom — Fichier:Axiom sur les Champs Elysées.jpg Axiom sur les Champs Elysées à Paris Nom Hicham Kochman Naissance 19 janvier 1975 (1975 01 19) (36 ans) Lil …   Wikipédia en Français

  • Comprehension — has the following meanings: In general usage, and more specifically in reference to education and psychology, it has roughly the same meaning as understanding. Reading comprehension measures the understanding of a passage of text Comprehension… …   Wikipedia

  • Axiom schema of specification — For the separation axioms in topology, see separation axiom. 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… …   Wikipedia

  • Liste en compréhension — En programmation informatique, la syntaxe de certains langages de programmation permet de définir des listes en compréhension, c est à dire des listes dont le contenu est défini par filtrage du contenu d une autre liste selon un principe analogue …   Wikipédia en Français

  • List comprehension — A list comprehension is a syntactic construct available in some programming languages for creating a list based on existing lists. It follows the form of the mathematical set builder notation (set comprehension) as distinct from the use of map… …   Wikipedia

  • separation, axiom of — Also known as the Aussonderungsaxiom . The unrestricted principle of comprehension leads to contradiction in set theory . The axiom of separation, due to Zermelo, restored consistency by allowing a set of objects to exist when it is the subset of …   Philosophy dictionary

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”