Класс (теория множеств)

• Классы в теории множеств служат способом создания коллекций, отличающихся от множеств для избежания парадоксов. 
• Точное определение понятия «класс» зависит от основополагающего контекста. 
• В работах по теории множеств Цермело-Френкеля понятие класса является неформальным. 
• В теории категорий категория, совокупность объектов которой образует соответствующий класс, называется большой категорией. 
• Парадоксы наивной теории множеств объясняются в терминах противоречивого молчаливого предположения о том, что «все классы являются множествами». 
• Теория множеств ZF не формализует понятие классов, поэтому каждая формула с классами должна быть синтаксически сведена к формуле без классов. 
• В ZF понятие функции также может быть обобщено на классы.