Например, сущность «вогнутого» может мыслиться отдельно от материи, а сущность «курносого» — нет. Предмет математики — сущее, которое не способно двигаться. Определения математики лишь иногда мыслятся отдельно от материи, но в большинстве случаев, как и в физике, они предполагают некий субстрат. Только первая философия изучает неподвижное и самостоятельно существующее. Она есть также наука о сущности, т. е. о сути бытия вещи. Основное же определение философии таково: "наука, исследующая сущее как таковое, а также то, что ему присуще само по себе". Однако сущее и единое, по Аристотелю, — одно и то же. Например, "он есть человек" и "он есть один человек" выражают одну и ту же вещь. Отсюда следует, что философия есть наука о едином. "Так что сколько есть видов единого, столько же и видов сущего, и одна и та же по роду наука исследует их суть". Каждый род, будучи воспринимаемым одним чувством, изучается одной наукой. В первой философии постигают вместе с тем не отдельный какой-либо род, а сущее в целом. Поэтому, по мысли Аристотеля, все частные науки составляют части первой философии. Далее, поскольку противоположности относятся к одному роду, а значит, изучаются одной наукой, философия исследует помимо единого и иное, т. е. лишенность или инаковое. Согласно Аристотелю, раскрывая сущность, философ должен сперва "исследовать начала умозаключения". В соответствии с этим, изучению сущего как такового и должно предшествовать указание достоверного начала для всего. Таким началом, по Аристотелю, выступает закон противоречия: "невозможно, чтобы одно и то же в одно и то же время было и не было присуще одному и тому же в одном и том же отношении". Согласно этому закону, если мыслится что-то одно, то ему должно соответствовать только одно определение, выражающее суть бытия. Нельзя быть человеком и не быть им, т. е. быть двуногим живым существом и не являться таковым. Отсюда истинное никогда не может быть ложным; следовательно, нечто одно необходимо или утверждать или отрицать.