Какое определение бога ни используй — можно доказать неосуществимость того, что так определено
«Дилогия атеизма» + «New proof reveals fundamental limits of scientific knowledge» (+ краткое упрощённое изложение «Существование бога опровергнуто математически»).