# Category:Frege Set Theory

Jump to navigation
Jump to search

This category contains results about Frege Set Theory.

Definitions specific to this category can be found in Definitions/Frege Set Theory.

The **Frege system of set theory** is a system of axiomatic set theory which has as its sole axiom the comprehension principle:

- 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}$

In support of this, the various logical axioms supporting predicate logic also hold.

## Subcategories

This category has only the following subcategory.

### C

## Pages in category "Frege Set Theory"

This category contains only the following page.