Update naturals-undecidability.tex
Merge pull request #77 from apiyron/patch-27

Update naturals-undecidability.tex