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. Nik