7. Каков способ априорного доказательства, принятый в этой науке. – Итак, надлежит, во-первых, сказать, что для априорного доказательства атрибутов сущего первые начала следует брать от понятия самого сущего, а для доказательства последующих атрибутов – от первого атрибута сущего. В этом убеждает рассуждение, приведенное в начале. И подтверждается это тем, что в этом смысле дело в метафизике обстоит так же, как и в прочих науках: поскольку свойства сущего суть некоторым образом его атрибуты, нужно исходить из его внутреннего формального смысла и сущности, ибо этого требует внутренний формальный смысл собственного атрибута. Следовательно, атрибуты можно доказывать через само сущностное понятие сущего: либо через различие самих этих реальностей между собой, либо применительно к нашим понятиям и рассуждениям – так, что одно поистине будет основанием другого, чего достаточно для человеческого знания и доказательства. Поэтому, если атрибуты сущего так связаны между собой, что один проистекает из другого, те, что идут первыми, образуют единое начало для доказательства прочих. Если же (что порой возможно) с понятием сущего непосредственно связано несколько атрибутов, они могут доказываться относительно сущего через само понятие сущего. А каким способом это осуществляется, станет ясно из последующего развертывания этой науки.

Итак, в этом порядке первым началом будет то, в котором формальный смысл, или сущность сущего, будучи отчетливо помысленным, предицируется самому сущему.

8. Каково первое начало приведения к невозможному. – Во-вторых, следует сказать, что в другом роде, или способе, доказательства – через приведение к невозможному – первым началом, на котором основывается весь этот способ доказательства, будет следующее: невозможно, чтобы одно и то же было и не было. Это очевидно само по себе: ведь всякое приведение к невозможному в конечном счете основано на том, что одно и то же оказывается одновременно существующим и несуществующим; и пока мы к этому не придем, невозможность не будет в достаточной мере доказана. После того же, как мы к этому придем, доказательство на этом останавливается, как на самом очевидном первоначале и последнем термине, в который совершается разрешение. И хотя иногда невозможное может быть приведено к другой несообразности – к тому, что два противоречащих высказывания будут одновременно ложными, или что одно и то же будет и не будет, – однако само это положение невозможно лишь постольку, поскольку оно потенциально заключает в себе другое, а именно: нечто одновременно отрицается и не отрицается относительно чего-либо, что означает утверждать и отрицать одно и то же относительно одного и того же.