None of this came from any a priori restrictions on self reference other than those deriving from the restriction to a classical language, all of whose predicates are totally defined. subscript to it, which increases as, by further and further reﬂection, he goes higher and higher in his own Tarski hierarchy.