Friedman Develops Divine Consistency Proof Using Angels as Weak Forms of God

What was said

"An angel is a weak form of God. An angel is something which isn't in all the positives. That would be God. But it's in all the definable, all the explicitly definable positives. This system could be worthless because it could be inconsistent. But I can prove that this system is consistent using a measurable cardinal."

Building on Gödel's ontological argument classifying properties as positive or negative, Friedman created a theological mathematical system where angels—entities possessing all definable positive properties—can prove ZFC's consistency. The system connects abstract set theory with theological concepts, though one colleague dismissed it as seeking Templeton Foundation grant money.