Gdel Hats

Description: anyone who says God can't be proven. The mathematician Kurt Gödel disagrees. Here is ontological proof for the existence of God.

Description: A dark background displays a table with two columns: 'Label' and 'Expression'. The expressions are mathematical logic notations, including quantifiers, implications, and symbols. Below the table, in large white font, is the statement "ie: God exists."