which of the many Ontological Arguments?
(eg Gödel's https://en.wikipedia.org/wiki/Gödel%27s_ontological_proof#Ou... is an exercise in order theory, in which one proves that a certain axiomatically presented mathematical structure has to have a maximum, which then, for the religiously inclined, could be identified with God)