با تابع همانی 
را که در حدود دو پست پیش راجع به آن صحبت شد، توضیح دهیم.
در حقیقت ارتباط میان این دو تابع را می توان به وضوح در شکل زیر مشاهده کرد:
می بینیم که برای xهای کوچک در بازه [0,1] هر دو تابع بر هم منطبق هستند. (همین شرایط در بازه ی[1,0-] نیز برقرار است.) برای x=1 تابع فوق جوابی معادل 0.9937450941 را بدست می دهد که در حدود 0.0062549059 با 1 فاصله دارد. لذا این تابع می تواند برای xهای کوچک در حکم تابع همانی باشد.
سوال دیگری که مطرح شده بود، در رابطه با توضیح قضیه ناتمامی گودل بود که در این باره باید عرض کنم که این اثبات بسیار ساده ولی خیلی زیرکانه است. شما می توانید مقاله ی کوتاهی از نحوه ی اثبات او را در این لینک (زبان انگلیسی) ببنید.
