# Axiom:Comprehension Principle

## Definition

The **comprehension principle** states:

- Given any property $P$, there exists a unique set which consists of all and only those objects which have property $P$:

- $\set {x: \map P x}$

This page or section has statements made on it that ought to be extracted and proved in a Theorem page.Extract this into an examples section and write it in house styleYou can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by creating any appropriate Theorem pages that may be needed.To discuss this page in more detail, feel free to use the talk page. |

Formally, let $P$ be an arbitrary predicate where $S$ is not free. Then the following is an instance of the comprehension principle:

- $\exists S : \forall x : \paren {x \in S \iff P(x)}$

From the definition of a set:

*A set is any aggregation of objects, called elements, which can be precisely defined in some way or other.*

## Also known as

The **comprehension principle** can also be referred to as:

- the
**abstraction principle** - the
**axiom of abstraction** - the
**unlimited abstraction principle**

## Also see

- Axiom:Axiom of Comprehension -- do not confuse that with this

## Historical Note

The first time the **comprehension principle** was explicitly formulated was by Gottlob Frege in $1893$ in his *Grundgesetze der Arithmetik, Band I*.

However, Bertrand Russell noticed in $1901$ that the **comprehension principle** led to paradoxes (hence, for example, Russell's Paradox).

These arise from the semantic looseness of the qualifier "in some way or other".

Frege wrote in a hastily-added appendix to *Grundgesetze der Arithmetik, Band II* of $1903$:

*Hardly anything more unfortunate can befall a scientific writer than to have one of the foundations of his edifice shaken after the work is finished.**This was the position I was placed in by a letter of Mr. Bertrand Russell, just when the printing of this volume was nearing its completion. It is a matter of my Axiom (V). I have never disguised from myself its lack of self-evidence that belongs to the other axioms and that must properly be demanded of a logical law ... I should gladly have dispensed with this foundation if I had known of any substitute for it. And even now I do not see how arithmetic can be scientifically established; how numbers can be apprehended as logical objects, and brought under review; unless we are permitted -- at least conditionally -- to pass from a concept to its extension. May I always speak of the extension of a concept -- speak of a class? And if not, how are the exceptional cases recognized? ... These are the questions raised by Mr. Russell's communication.*

For a rigorous approach to set theory, it is necessary to specify exactly what the rules are by which one may build sets.

There are different techniques for doing this, the best known perhaps being the Zermelo-Fraenkel axioms.

## Sources

- 1972: Patrick Suppes:
*Axiomatic Set Theory*(2nd ed.) ... (previous) ... (next): $\S 1.3$ Axiom Schema of Abstraction and Russell's Paradox - 1993: Richard J. Trudeau:
*Introduction to Graph Theory*... (previous) ... (next): $2$. Graphs: Paradox - 1998: David Nelson:
*The Penguin Dictionary of Mathematics*(2nd ed.) ... (previous) ... (next): Entry:**abstraction**:**2.** - 2002: Thomas Jech:
*Set Theory*(3rd ed.) ... (previous) ... (next): Chapter $1$: Why Axiomatic Set Theory? - 2008: David Nelson:
*The Penguin Dictionary of Mathematics*(4th ed.) ... (previous) ... (next): Entry:**abstraction**:**2.** - 2010: Raymond M. Smullyan and Melvin Fitting:
*Set Theory and the Continuum Problem*(revised ed.) ... (previous) ... (next): Chapter $1$: General Background: $\S 7$ Frege set theory