(3797) tehát nem egy jól sikerült hozzászólás, visszavonom.

A Tennenbaum tételének magyarázatára tett intuitív magyarázat sem állja meg a helyét, mert nemsztenderd PA-modell sztenderd részén az alapműveletek rekurzívak. Lehet elbonyolítani úgy, hogy mégis legyen magyarázó ereje, de ezzel most nem foglalkozunk.