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

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

Полный текст статьи:

Класс (теория множеств) — Википедия