গণিতের তিনটি ভিত্তি; যথা-যুক্তিবিদ্যা, সেটতত্ত¡ ও সংখ্যাতত্ত্ব। গণিত সকল প্রমাণের ক্ষেত্রে যুক্তিবিদ্যার পদ্ধতি ও এর
অবরোহ অনুমান (Deductive Inference) :যে অনুমান প্রক্রিয়ায় সিদ্ধান্তটি এক বা একাধিক আশ্রয় বাক্য থেকে অনিবার্যভাবে
নিরপেক্ষ বচন (Categorical proposition): যে প্রকার বচনের বিধেয় পদটি কোনো শর্তের উপর নির্ভর না করে,