Теорема: если Аллах един и количество Аллахов в мире неизменно, то Аллах не существует.
Доказательство: Пусть есть множество P, состоящее из произвольного количества Аллахов M . Возьмем реально существующее количество Аллахов N. Найдем количество различных сочетаний Аллахов из M по N штук по формуле C(M,N) = M!/N!(M-N)! По условию "Аллах един", следовательно, сочетания Аллахов могут быть выбраны единственным образом, т.е. существует только одно такое сочетание. Предположим, что M > 1 Аллаха (ведь мы можем придумывать генерировать бесконечное количество Аллахов в своем сознании). Тогда единственность сочетания может быть достигнута двумя способами: 1) N=M 2) N=0, т. е. Аллахов не существует вообще. Утверждение "Аллах един" верно всякий раз, когда реально существует столько же Аллахов, сколько мы поместили в наше множество P (сколько придумали), либо когда, вне зависимости от того, сколько Аллахов существует в нашем множестве P (сколько придумали), реально не существует ни одного Аллаха.
Введя дополнительное ограничение на постоянство реально существующих Аллахов (их количество в реальном мире не изменяется, N=const), приходим к выводу, что при изменении количества элементов в множестве P, будет нарушаться условие единственности существования сочетания Аллахов, следовательно 1) либо множество P также неизменно (мы не можем придумывать своих Аллахов), 2) либо P может изменяться, лишь только N = 0. (1) заведомо неверно, ведь очевидно, что мы можем придумывать сколь угодно много Аллахов. (2) не противоречит новому условию (ведь 0 = const), а так же не противоречит условию "Аллах един", ведь каким бы ни был M получается, что C(M,N) = M!/N!(M-N)!=M!/0!(M-0)! = 1. Аллаха не существует, теорема доказана.