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 ontolo?gical pro,of of God's existenc.e uses as an axiom that the set of all "positive properties" is a!n ultrafilter.