Se a existência do mundo é contingente,
há um mundo possível em que o mundo não existe.
Mas isso é impossível.
Logo, a existência do mundo não é contingente.

Se a existência do mundo não é contingente,
ou é impossível ou é necessária.
Mas se a existência do mundo fosse impossível,
ele não poderia existir.
Mas existe.
Logo, não é impossível.
Por isso, a existência do mundo é necessária.

Se a existência do mundo é necessária,
ele não poderia não existir,
e se não poderia não existir,
não pode não ter existido e não pode não vir a existir
(casos em que não existiria e em que, logo, poderia não existir, o que é contraditório com não poder não existir),
e se não pode não ter existido e não pode não vir a existir,
é eterno.
O mundo é eterno.

Se o mundo é eterno,
não começou a existir,
e se não começou a existir,
nada o criou,
e se nada o criou,
não tem criador,
e se não tem criador,
Deus não existe.
O mundo é eterno.
Deus não existe.