Таково и общее учение А. о доказательстве. Ср. Anal. post. I 11, 77a 5:

«Итак, если должно получиться доказательство, не необходимо, чтобы виды (ειδη) были чем-то одним наряду с многим; необходимо, однако, правильно сказать, что [тут] одно в соответствии с многим (κατα πολλων)»

и далее.