  Aristotle seems more reticent, describing the proofs as concerning lines, etc., qua having such and such increment (An. Post. ii.17). He seems to identify such a super-mathematics (Metaphysics vi.1, xi.7), but seems to imply that it does not take a determinate kind as its subject. Another possibility is that the common science has theorems which apply by analogy to the different mathematical kinds.