Aksiomaattinen joukko-oppi on toinen niistä osista, joihin joukko-oppi tavallisesti jaetaan. Toinen osista on naiivi joukko-oppi. Joukko-opin kehitti 1800-luvun lopulla saksalaisen matemaatikko Georg Cantor matematiikan haaraksi. Se on nykyisen matematiikan perustava osa.