Update naturals-undecidability.tex