По кпайней мере, порядка нет:)

Я,не математик,но с критическим отношением к "Теории бесконечных множеств"Кантора(начиная с начала прошлого века знаком),по соответствующей литературе.Если кратко(как я понял)суть в том,что Кантор принял к рассмотрению "актуальную бесконечность",которую избегали все мыслители,начиная с античных,и до гениальных математиков,вплоть до него.В результате,сам Кантор осознал,что пришёл к противоречию,но главное не в этом,а в том,что математики осознали,неявно(в той или иной степени)использовали идеи ,созвучные канторовским,в качестве доказательств.В результате этой рефлексии,математика начала расслаиваться на множество направлений(логицизм,интуиционизм,и т.д.) Окончательный приговор вынес Гёдель.

учитывая название темы, бог указан в аксиоматике здесь

он может прятаться Аксиома пустого множества


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

Что-то сбивается всё. Из текста ясно - теорема о множестве подмножеств. А Вы зачем спросили?