FormalTheology/GoedelGod

Formalizations of Gödel's Ontological Proof of God's Existence

语言：TeX · GitHub 星标：476 · Fork：40

在 GitHub 上查看原仓库