This example is a start, but it is misleadingly simple. The machinery is rich enough to allow formulation of the liar sentence. In the following, \(P\) is an auxiliary relation symbol of arity 0, that is, a propositional letter. We have written just \(P\) instead of \(P()\). 