இந்நிறுவல் உய்த்தறிதல் முறையில் செல்லும். formula_8 என்பது தேற்றம். formula_9 க்கு நிச்சயமாக இது உண்மை; ஏனென்றால்,formula_10 ஆல் வகுபடுகிறது. இப்பொழுது formula_8 என்பது உண்மையானால்

என்று காட்டவேண்டும்.

இது formula_2 ஆல் வகுபடுகிறது; ஏனென்றால், உய்த்தறிதல் கருதுகோளினால் formula_16 ஆல் வகுபடுகிறது; மற்றும், ஒவ்வொரு formula_17 ம் formula_2 ஆல் வகுபடுகிறது.

இவற்றையும் பார்க்கவும்
இரண்டாவது நிறுவல்
மூன்றாவது நிறுவல்
எளிய முதல் நிறுவல்