The paradox of Kleene and Rosser