Category:Frege Set Theory

From ProofWiki
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.


This category has only the following subcategory.


Pages in category "Frege Set Theory"

This category contains only the following page.