Серед аксіом, що містяться у NBG, але не містяться у ZFC можна назвати такі: Аксиома обмеження потужності — для будь-якого класу, множина, що збігається з цим класом, може існувати лише тоді, коли не існує бієкції між цим класом і класом всіх множин. Схема аксіом породження підклассів — для будь-якої формули , що не містить кванторів для змінних-классів (вона може містити змінні-класи як параметри) існує клас , такий, що . Області дослідження Комбінаторна теорія множин