Серед інших слід відзначити також аксіоматику Рассела-Вайтгеда та NF-аксіоматику Квайна. Фундаментальна роль аксіоматики теорії множин В рамках теорії ZFC можна викласти всі загальноприйняті методи математичних міркувань. Можна навіть сказати, що на сучасному етапі розвитку математики така «узгодженість» з ZFC є з формальної точки зору таким собі універсальним мірилом математичної строгості (хоча, зважаючи на фундаментальний характер цього твердження, така позиція не є одностайною серед математиків).