sentences:  also Hilbert-Bernays 1934") and Raphael Robinson (1948).Péter exhibited another example (1935) that employed Cantor's diagonal argument.Péter (1950) and Ackermann (1940) also displayed "transfinite recursions", and this led Kleene to wonder