Згодом теорію множин Кантора стала називатися наївною теорією множин, а теорію, ​​перебудовану після Кантора, — аксіоматичною теорією множин. Аксіоматична теорія множин приймає поняття множини як неозначуване поняття.