Ultrafilter

Gödel's ontological proof of God's existence uses as an axiom that the set of all "positive properties" is an ultrafilter.
Gödel's ontological proof of God's existence uses as an axiom that the set of all "positive properties" is an ultrafilter.