Hao Wang Certain Predicates Defined by Induction Schemata. 49-59 1953 18 J. Symb. Log. 1 db/journals/jsyml/jsyml18.html#Wang53