Gödel's ontological proof

Ontological Arguments

Gödel's ontological proof is a formal argument for God's existence by the mathematician Kurt Gödel.

Does it prove both existence and uniqueness?

https://math.stackexchange.com

Gödel Numbering

Logical Arguments - Modus Ponens & Modus Tollens

14. Rules of Inference ||Modus Ponens, Modus Tollens, Hypothetical Syllogism, Disjunctive Syllogism

If X implies Y, and Y isn't true, then neither is X

Axiom

Proof of Theorem

Arithmetizing Metamathematics

https://www.quantamagazine.org

Brno

Ontologický

Ontologie a logika

333 - How to?