Charles Silver wrote: > the notion of "set" is taken as primitive and > thus would not be defined at all. Yes, but the concept of set is impredicative. Otherwise you may "take as primitive" also the notion of powerset! GL