Так вот, необходимо, чтобы каждое доказательство и каждый силлогизм показали, что нечто или присуще, или не присуще, притом или как общее, или как частное, и далее - или непосредственно, или исходя из предположения. Доказательство через невозможное есть часть доказательства, исходящего из предположения. Сперва мы будем говорить о прямых доказательствах, ибо после уяснения их станут очевидными и доказательства через невозможное, и вообще доказательства, исходящие из предположения.