گرفته‌است از جمله کسر طبیعی، درخت‌های درستی و جدول ارزش. کسر طبیعی توسط گرهارد گنتزن و جان لوکاسویچ ابداع شده‌است اما در مورد منشأ اختراع جدول درستی بحث و...