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:

  • 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

  • comprehension — comprehension, axiom of …   Philosophy dictionary

  • 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

  • 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

  • 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

  • List of philosophy topics (A-C) — 110th century philosophy 11th century philosophy 12th century philosophy 13th century philosophy 14th century philosophy 15th century philosophy 16th century philosophy 17th century philosophy 18th century philosophy 19th century philosophy220th… …   Wikipedia

  • List of first-order theories — In mathematical logic, a first order theory is given by a set of axioms in somelanguage. This entry lists some of the more common examples used in model theory and some of their properties. PreliminariesFor every natural mathematical structure… …   Wikipedia

  • 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

Share the article and excerpts

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