Category:Axioms/Frege Set Theory

From ProofWiki
Jump to navigation Jump to search

This category contains axioms related to 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.

Pages in category "Axioms/Frege Set Theory"

The following 3 pages are in this category, out of 3 total.