В некоторых философских концепциях (в апофатическом богословии) бог определяется через отрицание любых конечных свойств: он невидим, непостижим, не имеет ограничений, не является частью физического мира...
Если мы формализуем это как свойство, которому не удовлетворяет вообще ни один существующий объект во Вселенной, то согласно аксиоме выделения, поскольку ни один элемент не обладает таким свойством, то множество пустое.
Если же определить бога в рамках катафатического богословия как Абсолют, вседержителя или множество, содержащее в себе абсолютно всё (включая самого себя), мы моментально проваливаемся в математический тупик: по теореме Кантора, мощность (размер) любого множества строго меньше мощности множества всех его подмножеств.
Если бог - это множество всего, то его подмножества тоже должны быть частью его самого. Но их математически больше, чем элементов в нем. Возникает противоречие.