Gödel's theorem
গোডেলের উপপাদ্যটি গণিতবিদ কার্ট গোডেল দ্বারা বিকশিত বেশ কয়েকটি উপপাদ্যের যে কোনও একটিকে বোঝাতে পারেঃ গোডেলের অসম্পূর্ণতা উপপাদ্য গোডেলের সম্পূর্ণতা উপপাদ্য গোডেলের স্পিড-আপ উপপাদ্য গোডেলের সত্তাতাত্ত্বিক প্রমাণও দেখুন।