<p>𝑇 را یک سامانه‌ی فروهازشی دیسه‌ای که دربردارنده‌ی اندازه‌ی تاشتیگی از شماریک است بگیرید. بیانگارید که گفت‌شناسی 𝑇 <strong><em>کارامد</em></strong> است، به این چم که خوارزمیکی هست که می‌آترمد آیا دنباله‌ای از نمادها یک دیسول دستور زبانی است و خوارزمیکی که می‌آترمد آیا یک دنباله‌ی داده شده از دیسول‌ها یک فروهازش روا در 𝑇 است. بی‌گمان برای اینکه 𝑇 بتواند نخشی در برنامه‌ی هیلبرت بازی کند این همبایست‌ها گوهرین اند. زیر این انگاشته‌ها گودل نشان داد گزاره 𝑮 در زبان 𝑇 هست به‌گونه‌ای که:</p><p>۱. اگر 𝑇 سازگار باشد آنگاه 𝑮 استواره‌ای از 𝑇 نیست.</p><p>۲. اگر 𝑇 یک دارایی یک خرده نیرومندتر از سازگاری که اُمگا-سازگاری خوانده می‌شود، داشته باشد آنگاه نایش 𝑮 استواره‌ای از 𝑇 نیست.</p>
آشنایی با Gödel's first incompleteness theorem چیست؟معنی Gödel's first incompleteness theorem یعنی چه؟
آشنایی با استواره یکم نابَوَندَگی گودل چیست؟معنی استواره یکم نابَوَندَگی گودل یعنی چه؟
آشنایی با قضیه اول ناتمامیت گودل چیست؟معنی قضیه اول ناتمامیت گودل یعنی چه؟
آشنایی با قضیه اول ناتمامیت گودل چیست؟معنی قضیه اول ناتمامیت گودل یعنی چه؟
برابر پارسی قضیه اول ناتمامیت گودل
معادل فارسی قضیه اول ناتمامیت گودل