Formalism

Assume true and false.

((x=(x=0)) ∧ (x=((x=0) ∨ (x=(x=(x=0))))))

Update 6/12/2026 –

Explanation: this is an attempt to formalize the liar’s sentence + liar’s revenge sentence in boolean algebra; I am far from certain I did so correctly.

The Formalism, Restated – Part 1 of 10

Later: Updated Formalism