[FOM] Predicative Set Theory

Nik Weaver nweaver at math.wustl.edu
Fri Jun 22 14:01:14 EDT 2012

Zuhair Al-Johar wrote:

> The following is a theory defined in L(w1,w) ... Of course the main
> feature is that it forms infinite sets in a predicative manner.

The separation scheme is impredicative.  It affirms the existence of
sets which are defined by formulas which quantify over all sets.


More information about the FOM mailing list