Aksjomaty teorii mnogości.
Podstawowe własności zbiorów7 można ująć w postaci aksjomatów. Za pojęcia pierwotne przyjmuje się pojęcie zbioru oraz pojęcie należenia elementu do tego zbioru. [Element też nie jest definiowany!]
Jednym z prostszych systemów aksjomatów7 teorii mnogości jest następujący układ aksjomatów.