published online, Kurt Göodel Freundeskreis website, 2025.
In this paper, I show how an axiomatic metaphysics, object theory (OT), offers a formal framework for understanding and unifying some of the views expressed in Gödel’s discussions concerning (a) the nature of mathematics and metaphysics, (b) the works and ideas of Edmund Husserl and how they relate to mathematics, (c) an ontological argument for the existence of God, and (d) an argument for the nonexistence of time.