غیر مستقیم ثبوت

یوه قضیه په غیر مستقیم ثبوت ثابتولای شو. لومړی فرض کړئ چې حکم ناسم دی («فرض کړو چې داسې نه ده»). له دې فرض څخه په منطق سره داسې حقیقت ته ورسېږئ چې له یوه اصل، قضیې یا شرط سره په تضاد کې وي («تضاد ترلاسه شو»).

پایله: زموږ فرض ناسم و، نو قضیه سمه ده. دا موضوع د کتابونو په بیلابیلو برخو کې نه ده، نو دا یو اضافي بحث دی. بېلګه: دوه خطونه چې پر دریم خط عمود وي، موازي دي. فرض کړو چې a پر c عمود دی او b هم پر c عمود دی، خو a او b په M کې سره غبرګېږي. بیا له M څخه دوه خطونه پر c عمود تېرېږي. دا له دې حقیقت سره تضاد لري چې له یوه ټکي څخه پر یوه خط یوازې یو عمود تېرېږي.

په همدې ډول: بله قضیه (د توازي له اصل سره تضاد: له یوه ټکي څخه چې پر خط نه وي، یوازې یو موازي خط تېرېږي) او د مماس او شعاع قضیه (د تماس ټکي ته شعاع پر مماس عمود ده: عمود OM به له کږ OA څخه اوږد وي).