তারা তাদের ভাষায় প্রকাশিত প্রতিটি সত্য প্রমাণ করতে পারে না।
স্বাভাবিক স্বতঃসিদ্ধ ব্যবস্থাগুলি অসম্পূর্ণ, এই অর্থে যে তারা তাদের ভাষায় প্রকাশ করা যায় এমন সমস্ত সত্য প্রমাণ করতে পারে না।
গোডেলের ঘোষণার মূল বিষয় কি ছিল যে স্বতঃসিদ্ধ ব্যবস্থা সম্পূর্ণ নয়?