په هندسه کې استدلال او ثبوت

دا کارځای د اتم ټولګي لپاره دی (پنځم فصل «د متساوي الساقین مثلث قضیې»).

د څو شکلونو اندازه کول (استقرایي استدلال) په اټکل کې مرسته کوي، خو ثبوت نه دی: ښايي داسې شکل وي چې موږ نه وي ازمایلی. په استنتاجي استدلال کې له «فرضیې» پیل کوو او په سمو دلیلونو ګام په ګام «حکم» ته رسېږو. بیا حکم د ټولو شکلونو لپاره سم دی.

د ثبوت په جدول کې هره کرښه یو حکم او یو دلیل لري: فرضیه، هغه څه چې موږ پخپله رسم کړي (لکه د یوې ضلعې منځنی ټکی)، ګډه ضلعه، د انطباق یو حالت، متناظره اجزا یا هغه قضیه چې مخکې ثابت شوې. «له شکل څخه ښکاري» دلیل نه دی او حکم د ځان دلیل نه شي کېدای.

د یوې عمومي ادعا د ردولو لپاره یو د نفي مثال بس دی.