স্বতঃসিদ্ধ ব্যবস্থা

উইকিপিডিয়া, মুক্ত বিশ্বকোষ থেকে

গণিতে কোন স্বতঃসিদ্ধ ব্যবস্থা (ইংরেজি: Axiomatic system) বলতে কতগুলি স্বতঃসিদ্ধের একটি সেটকে বোঝায়, যে সেটের কিছু বা সমস্ত স্বতঃসিদ্ধকে কাজে লাগিয়ে যৌক্তিকভাবে বিভিন্ন উপপাদ্যে উপনীত হওয়া যায়।

স্বতঃসিদ্ধ ব্যবস্থা ও তা থেকে উদ্ভূত সমস্ত উপপাদ্য একটি গাণিতিক তত্ত্ব প্রতিষ্ঠা করে।