Kitap 13
18
Thus we have sufficiently shown (a) that the objects of mathematics are not more substantial than corporeal objects; (b) that they are not prior in point of existence to sensible things, but only in formula; and (c) that they cannot in any way exist in separation.
19
And since we have seensect. 1-3 above. that they cannot exist in sensible things, it is clear that either they do not exist at all, or they exist only in a certain way, and therefore not absolutely; for exist has several senses.
1
The general propositions in mathematics are not concerned with objects which exist separately apart from magnitudes and numbers; they are concerned with magnitudes and numbers, but not with them as possessing magnitude or being divisible. It is clearly possible that in the same way propositions and logical proofs may apply to sensible magnitudes; not qua sensible, but qua having certain characteristics.
2
For just as there can be many propositions about things merely qua movable, without any reference to the essential nature of each one or to their attributes, and it does not necessarily follow from this either that there is something movable which exists in separation from sensible things or that there is a distinct movable nature in sensible things; so too there will be propositions and sciences which apply to movable things, not qua movable but qua corporeal only; and again qua planes only and qua lines only, and qua divisible, and qua indivisible but having position, and qua indivisible only.
3
Therefore since it is true to say in a general sense not only that things which are separable but that things which are inseparable exist, e.g., that movable things exist, it is also true to say in a general sense that mathematical objects exist, and in such a form as mathematicians describe them.
