I just noticed that my formula is redundant. It should read:
x=((x=0) ∨ (x=(x=(x=0))))
It corresponds to the sentence “This sentence is false or ‘this sentence is false’ “
Update – I went back to my original phrasing, as of 6/11/2026
The Formalism, Restated – Part 3 of 10
Earlier: Updated Formalism
Later: Natural Lang. Phrasing
Leave a Reply