 Gödel states the Speed-up Theorem differently from the above. Let Sn be the system of logic of the n-th order, the variables of the first level being thought of as ranging over natural numbers. In this setting, variables of the second level range over sets of natural numbers and so on. Gödel’s formulation is: