Quote:
	
	
		| Originally posted by asaris The fourth is that of Impossible non-existence, which would be something that exists, and it's non-existence is contradictory.  The Ontological Argument seeks to show that God belongs to this fourth category.
 | 
	
 The ontological argument puts God into this category if and only if God exists,
or 
God is in this fourth category in all worlds that God exists.