Аксиоматика теории множеств

Cовременная теория множеств строится на системе аксиом — утверждений, принимаемых без доказательства, из которых выводятся все теоремы и утверждения теории множеств.

Система аксиом Цермело—Френкеля (ZF) является стандартной системой аксиом для теории множеств. Эта и подобные ей системы аксиом любопытны потому, что любая математическая теория может быть «переведена» на язык теории множеств таким образом, что теоремы этой теории станут теоремами о множествах, доказуемыми из аксиом ZF (любой объект можно считать множеством, соответственно и переформулировать утверждение не представляет собой проблему[источник не указан 316 дней]).

К этой системе аксиом часто добавляют аксиому выбора, и называют системой Цермело — Френкеля с аксиомой выбора (ZFC).

Эта система аксиом записана на языке логики первого порядка, и содержит бесконечное количество аксиом. Существуют и другие, конечные системы. Например, система NBG (von Neumann — Bernays — Godel) наряду с множествами рассматривает так называемые классы объектов. NBG равносильна ZF в том смысле, что любая теорема о множествах (то есть не упоминающая о классах), доказуемая в одной системе, также доказуема и в другой.