Notes on Tarski

Tarski indefinability theorem is very close to the SRH: the idea that metalanguages must be kept separate from languages else contradictions arise precisely when they self-reference.

http://en.wikipedia.org/wiki/Tarski%27s_undefinability_theorem

And it is all to do with the power of the "not" function.

I need to know in what way metalanguages are "bigger'. This is what the +1 theorem would be, and also the sense of how the Horatio Principle or God is bigger also. All these various ideas finding meaning at last due to the great work of these men...

and I need to grasp this bit on diagonalisation full too...

http://en.wikipedia.org/wiki/Diagonal_lemma

otherwise I think I'm finally in the driving seat to deal with the SRH :-)