Translation: from english

comprehension, axiom of

Look at other dictionaries:

  • 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… …   Philosophy dictionary

  • 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

  • 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

  • Second-order arithmetic — In mathematical logic, second order arithmetic is a collection of axiomatic systems that formalize the natural numbers and sets thereof. It is an alternative to axiomatic set theory as a foundation for much, but not all, of mathematics. The… …   Wikipedia

  • Reverse mathematics — is a program in mathematical logic that seeks to determine which axioms are required to prove theorems of mathematics. The method can briefly be described as going backwards from the theorems to the axioms. This contrasts with the ordinary… …   Wikipedia

Share the article and excerpts

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

Wir verwenden Cookies für die beste Präsentation unserer Website. Wenn Sie diese Website weiterhin nutzen, stimmen Sie dem zu.