Kleene's proof is informal and uses an example similar to the first example.
Kleene 的证明是非形式的并使用了类似第一例子的例子。