RAMIFIED ANALYSIS

By ramified analysis we mean an extension of elemen­

tary number theory obtained by adding bound variables rang­

ing over classes, relations, predicates, or functions of

naturi! numbers, which are assigned ordinal numbers as

levels, so that (say) a class is of level a + 1 if Its

defining formula contains bound variables of level a .