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
Gödel's Ontological Proof Revisited
Axiom
Proof of Theorem
Arithmetizing Metamathematics
https://www.quantamagazine.org
Brno
Ontologický
Ontologie a logika
Žádné komentáře:
Okomentovat