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