User blog comment:Boboris02/MBOT/@comment-30167082-20161218101337/@comment-30118230-20161220191709

It could be a diagonaliser,but it could also not be.

I will try to be as clear as possible.When I say ¬ on itself doesn't mean anything,that doesn't mean I'm saying \(n \neg n \Leftrightarrow k \Rightarrow .....\) doesn't.

I am going to give 2 examples - In one it has no meaning and the system is undefined and in the other it has and the system is well-defined.

Eg.1:\(\Phi(n) = n \neg n\) - Undefined

Eg.2:\(\Phi(n) \neg m =\Phi(n) \Rightarrow n \over m\) inside a \(\Phi(n) \Rightarrow m = n+m\) -Well-defined