Но другое ограничение все еще остается. Предметы математики, согласно Аристотелю, – это все еще вещи, которые не имеют существования, кроме как в качестве модификаций или атрибутов конкретных материальных вещей. Это, по сути, числовые свойства коллекций конкретных предметов, или, опять же, идеальные границы и пределы разумных тел. Правда, математик абстрагируется от этого факта и относится к нему так, как будто его нет. Он говорит о числах, линиях, плоскостях и т. д., как будто это вещи, обладающие самостоятельным существованием. Но факт, согласно Аристотелю, тем не менее существует, и дело здравой логики наук – обратить на него внимание. Числа на самом деле всегда являются числами чего-то, людей, лошадей, волов и т. д. «Два и два – четыре» означает «два человека (лошади) и два человека (лошади) – четыре человека (лошади)». Только, поскольку числовой результат всегда один и тот же, считаете ли вы людей или лошадей, нет необходимости указывать конкретный характер объектов, которые вы считаете. Так и в геометрии: плоскость, например, всегда является границей некоего физического твердого тела, только для целей плоской геометрии это может быть не обязательно принимать во внимание.
Но в «первой» философии и это ограничение снимается. Мы изучаем бытие не в той мере, в какой оно состоит из тел в движении, и не в той мере, в какой оно обладает числом и пространственной формой, как математик, а во всей его всеобщности; мы исследуем, что значит быть, и какие отношения между существами выводимы из великого фундаментального условия, что они едины и все есть. Вот почему «первая» философия, по сравнению с другими спекулятивными науками, имеет более высокую степень универсальности в своем охвате. Предложения физика становятся ложными, если они утверждаются о чем-либо, кроме тел в движении; предложения математика становятся ложными, если они утверждаются о предметах, которые не являются ни численными коллекциями, ни пространственными формами тел. Общие принципы «первой» философии одинаково применимы и к Богу, и к геометрической фигуре, и к физическому телу, поскольку каждое из этих трех предметов есть нечто, о чем можно сказать, что оно имеет бытие или есть. В то же время есть один класс «вещей, которые есть», который можно рассматривать как составляющий в совершенно особом смысле объект «первой» философии, хотя эта наука в некотором смысле общается со всем. Это класс неизменных сущностей, которые не имеют ни тел, ни пространственной формы какого-либо вида и поэтому исключены из сферы действия как физики, так и математики.