গণিতের এমন কিছু সত্য যা তাদের দ্বারা নির্ণয় করা যায় না।
এটা সাধারণভাবে মেনে নেওয়া হয় যে ১৯৩১ সালের কার্ট গিয়াসিয়েট ডেলের অসম্পূর্ণতা উপপাদ্য সুনির্দিষ্টভাবে প্রদর্শন করে যে কোন স্বতঃসিদ্ধ এবং অনুমান নিয়মের জন্য গণিতের কিছু সত্য থাকতে পারে যা তাদের থেকে অনুমান করা যায় না, এবং তাই প্রিন্সিপিয়া ম্যাথমেটিকা কখনও তার লক্ষ্য অর্জন করতে পারে না।
কার্ট গোডেলের উপপাদ্যটি স্বতঃসিদ্ধ এবং অনুমানের নিয়ম সম্পর্কে কী প্রদর্শন করেছিল?