با سلام خدمت دوستان گرامی

در منطق قدیم گفته می شود که :

 ۱- در باب یقینیات ما دو نوع قضیه یقینی داریم : یقینی بدیهی و یقینی نظری .

۲-  یقینیات بدیهی نزد اهل دقت از منطقدانان مسلمان ( همچون خواجه نصیر الدین طوسی از متقدمین و علامه طباطبایی از متاخرین ) تنها در اولیات خلاصه می شود .

۳- راه رسیدن به قضایای یقینی نظری برهان است .

اینک معما : در هیچ دو قضیه اولی حد وسط مشترک وجود ندارد که بتوان بر اساس آن حتی یک برهان بنا کرد و به اولین قضیه یقینی نظری دست یافت .