U_K is undecidable

Diagonalization (Gödel)

with one var.

without free variable

two functions

representeble (arithmetic)

---

FACT

otherwise

m is the Gödel number of ξ

Definition of

For all formulas A(ξ), variable ξ, and terms. that the same type of ξ. Verb missing.