Update naturals-undecidability.tex
Merge pull request #76 from apiyron/patch-26

Update naturals-undecidability.tex