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."
Tags:
axioms, expression, formal logic, gdel, implication