I will present a simple theorem concerning maximal elements of a set T endowed with an ordering “>” that is antisymmetric, i.e., if A and B are elements of T , we cannot have both A > B and B > A. A special case of this theorem is a simple version of the ontological argument, one of the classical proofs for the existence of God.
Ward, Doug, "Maximum Elements of Ordered Sets and Anselm's Ontological Argument" (2019). ACMS Conference Proceedings 2019. 25.
Applied Mathematics Commons, Computer Sciences Commons, Higher Education Commons, History of Science, Technology, and Medicine Commons, Mathematics Commons, Science and Mathematics Education Commons, Teacher Education and Professional Development Commons