Update naturals-undecidability.tex
Merge pull request #78 from apiyron/patch-28

Update naturals-undecidability.tex