গণিতৰ কিছুমান সত্য যাৰ পৰা অনুমান কৰিব নোৱাৰি
সাধাৰণতে গ্ৰহণ কৰা হয় যে ১৯৩১ চনত কুৰ্ট গছনেচ দেল 'ৰ অসম্পূর্ণতা উপপাদ্য স্পষ্টভাৱে দেখুৱাইছে যে গণিতৰ বিৱৰণৰ বাবে প্ৰস্তাৱিত কোনো স্বতঃসিদ্ধ আৰু সিদ্ধান্ত নিয়মসমূহৰ বাবে, আচলতে গণিতৰ কিছুমান সত্য থাকিব যিবোৰ তেওঁলোকৰ পৰা অনুমান কৰিব নোৱাৰি, আৰু সেইবাবে প্ৰিন্সিপিয়া মেথমেথমেটিকলে কেতিয়াও ইয়াৰ লক্ষ্যত উপনীত হ' ব নোৱাৰে।
কুৰ্ট গোডেলৰ উপপাদ্য (Kurt Godel 's theorem) ৰ দ্বাৰা স্বতঃসিদ্ধ (axiom) আৰু অনুমান সম্বন্ধীয় নিয়মসমূহৰ বিষয়ে কি প্ৰদৰ্শন কৰা হৈছে?