Klasy jako formuły Klasy można traktować jako nieformalne obiekty wyznaczone przez formuły języka teorii mnogości. Podejście takie jest przyjmowane, na przykład, w monografii Thomasa JechaThomas Jech: Set theory. The third millennium edition. „Springer Monographs in Mathematics”. Springer-Verlag, Berlin, 2003. .. W książce tej, dla formuły o zmiennych wolnych zawartych wśród oraz parametrów wprowadza się klasę definiowaną przez z parametrów jako Tak więc dla klasy zdefiniowanej przez z parametrów mamy wtedy i tylko wtedy, gdy
Klasy zdefiniowane przez (odpowiednio) są równe wtedy i tylko wtedy, gdy mają te same elementy, czyli gdy
Przy tym podejściu, wprawdzie wykonujemy różne operacje na klasach czy też rozważamy różne relacje między nimi, klasy są tożsame z formułami je definiującymi. Każde użycie klasy może być zastąpione przez odwołanie do formuły ją definiującej.