خلاصه ماشینی:
"البته پیداست که این روش(حفظ احکام قضایا) ناموفق است؛ زیرا:اولا، قواعد و احکام حفظ شده،پس از مدتی از خاطرهها زدوده میشوند؛ *بنیادیترین قانون اثبات عبارت است از اینکه:برخی اصلها به عنوان اصل پایه (اثبات نشده،اصل موضوع،اصل متعارف یا اصل بدیهی)فرض شوند و سایر اصول به وسیلهی آنها به اثبات برسند ثانیا فرایند حفظ نه تنها قوهء اثبات فراگیران را تقویت نمیکند، بلکه تا حد زیادی آن قوهء خددادی را فلج و بیخاصیت میکند؛ثالثا،این فرایند شامل برخی احکام(از جمله قضایای 1 تا 7 که نام خاصی دارند)میشود و همهی احکام(از جمله قضایای 8 تا 11)را دربرنمیگیرد.
البته پیداست که این روش (حفظ احکام قضایا)ناموفق است نکتهی پنجم:با این روش میتوان مطمئن بود که قضیهی سالبهی کلیه نیز 11 معادل دارد و هر کدام از قضایای موجبهی جزئیه و سالبهی جزئیه،دارای سه معادل هستند؛به عنوان مثال: بعضی الفها ب نیستند."