প্রমাণ তত্ত্ব: সংশোধিত সংস্করণের মধ্যে পার্থক্য

'''প্রমাণ তত্ত্ব''' ([[ইংরেজি ভাষা|ইংরেজি ভাষায়]]: Proof theory) [[গাণিতিক যুক্তিবিজ্ঞান|গাণিতিক যুক্তিবিজ্ঞানের]] একটি শাখা যেখানে [[গাণিতিক প্রমাণ|গাণিতিলগাণিতিক প্রমাণসমূহকে]] বিধিগত গাণিতিক বস্তু হিসেবে গণ্য করা হয়, যার ফলে গাণিতিক কলাকৌশলের সাহায্যে এগুলির বিশ্লেষণ সহজতর হয়। প্রমাণগুলিকে সাধারণত আরোহী পদ্ধতিতে সংজ্ঞায়িত [[উপাত্ত সংগঠন]] যেমন সরল লিস্ট, বক্সকৃত লিস্ট, বা ট্রি-এর মাধ্যমে প্রকাশ করা হয়। উপাত্ত সংগঠনগুলি যৌক্তিক ব্যবস্থার স্বতঃসিদ্ধ ও সিদ্ধান্তগ্রহণের নিয়মগুলি অনুসরণ করে নির্মাণ করা হয়। এ কারণে প্রমাণ তত্ত্বের প্রকৃতি [[বাক্যতত্ত্ব|বাক্যতাত্ত্বিক]] (syntactic), পক্ষান্তরে [[মডেল তত্ত্ব|মডেল তত্ত্বের]] প্রকৃতি [[অর্থবিজ্ঞান|আর্থ]]। মডেল তত্ত্ব, [[স্বতঃসিদ্ধমূলক সেট তত্ত্ব]], [[পুনরাবৃত্তি তত্ত্ব]] ও প্রমাণ তত্ত্ব [[গণিতের ভিত্তি|গণিতের ভিত্তির]] চার স্তম্ভের একটি।