Henri Duboc

Gödel a mis Dieu en équation, Gabriel. La preuve ontologique de Gödel. Trois définitions, six axiomes et quatre théorèmes qui prouvent mathématiquement l'existence de Dieu.