論理学

神の存在を数学的、あるいは、科学的（典型的には物理学的）に証明したいという問題はかなり昔から存在している。本稿の主題は、ゲーデルの神の存在証明（Ontological Proof）をオブジェクト指向で理解しようということである。