Document Type

Conference Proceeding

Publication Date



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.



To view the content in your browser, please download Adobe Reader or, alternately,
you may Download the file to your hard drive.

NOTE: The latest versions of Adobe Reader do not support viewing PDF files within Firefox on Mac OS and if you are using a modern (Intel) Mac, there is no official plugin for viewing PDF files within the browser window.