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

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

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

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