Klasa – wielość obiektów, która może być określona przez własność posiadaną przez wszystkie jej elementy. Pojęcie klasy jest uogólnieniem pojęcia zbioru.
Wiele obiektów w matematyce jest „za dużych”, aby badać je przy użyciu zbiorów i muszą być opisywane przy użyciu klas. W literaturze istnieje kilka sposobów formalizacji pojęcia klasy.
Przykłady Przykłady klas: klasa wszystkich zbiorów – rozważanie zbiorów wszystkich zbiorów prowadzi do antynomii (paradoks zbioru wszystkich zbiorów), dlatego wszystkie zbiory tworzą klasę właściwą klasa wszystkich liczb porządkowych – rozważanie zbioru wszystkich liczb porządkowych prowadzi do antynomii (paradoks Buralego-Fortiego), dlatego liczby porządkowe tworzą klasę właściwą klasa wszystkich liczb nadrzeczywistych – jest to nadklasa klasy wszystkich liczb porządkowych klasy obiektów dużych kategorii, np. Top – kategorii wszystkich przestrzeni topologicznych uniwersum konstruowalne