Некоторые считают, что нет знания, так как для этого необходимо знать первые [посылки], другие же - что знание возможно, но что для всего есть доказательство. Ни одно из этих мнений не истинно и не необходимо. В самом деле, те, кто предполагает, что вообще нет никакого знания, считают, что [доказательство] вело бы в бесконечность, ибо нельзя последующее знать на основании предшествующего, для которого нет первых [посылок] (в чем они правы, ибо пройти бесконечное невозможно). Если же на чем-то останавливаются и начала существуют, то они неизвестны, так как для них нет доказательства, в чем, по их мнению, только и состоит знание. Если же первые [посылки] знать невозможно, то и вытекающее из них невозможно знать ни в безусловном, ни в собственном смысле, а лишь на основании предположения, что они имеются. Другие согласны, что знание имеется, а именно что имеется знание только через доказательство. Но ничто, мол, не мешает, чтобы для всего было доказательство, ибо доказательство можно вести по кругу, т. е. одно можно доказать из другого и обратно. Мы же утверждаем, что не всякое знание доказывающее, а знание неопосредствованных [начал] недоказуемо. И очевидно, что это необходимо так, ибо если необходимо знать предшествующие [посылки], т. е. те, из которых исходит доказательство,- останавливаются же когда-нибудь на чем-нибудь неопосредствованном,- то это неопосредствованное необходимо недоказуемо. А потому мы говорим так: есть не только наука, но и некоторое ее начало, благодаря которому нам становятся известными определения. А что по кругу вообще нельзя доказывать,- это ясно, так как доказательство следует вести из предшествующего и более известного. Ведь невозможно, чтобы одно и то же для одного и того же было в одно и то же время и предшествующим и последующим, разве только пользуются другим способом [доказательства], основывающимся на различии между предшествующим для нас и предшествующим безусловно, каким именно способом дает знание наведение. Но если это так, то не надлежащим образом было бы определено безусловное знание, а оно [понималось бы] двояко, или другой [способ] доказательства, основывающийся на более известном для нас, не был бы [способом] доказательства в безусловном смысле.