Both in Kripke's Theory of Truth ktt 8] and Russell's Ramiied Type Theory rtt 16, 9] we are confronted with some hierarchy. In rtt, we have a double hierarchy of orders and types. That is, the class of propositions is divided into diierent orders where a propositional function can only depend on objects of lower orders and types. Kripke on the other hand, has a ladder of languages where the tru...