§ 11. The problem of the present section is therefore solved. Pure mathematics, as synthetical cognition a priori, is only possible by referring to no other objects than those of the senses. At the basis of their empirical intuition lies a pure intuition (of space and of time) which is a priori. This is possible, because the latter intuition is nothing but the mere form of sensibility, which precedes the actual appearance of the objects, in that it, in fact, makes them possible. Yet this faculty of intuiting a priori affects not the matter of the phenomenon (that is, the sense-element in it, for this constitutes that which is empirical), but its form, viz., space and time. Should any man venture to doubt that these are determinations adhering not to things in themselves, but to their relation to our sensibility, I should be glad to know how it can be possible to know the constitution of things a priori, viz., before we have any acquaintance with them and before they are presented to us. Such, however, is the case with space and time. But this is quite comprehensible as soon as both count for nothing more than formal conditions of our sensibility, while the objects count merely as phenomena; for then the form of the phenomenon, i.e., pure intuition, can by all means be represented as proceeding from ourselves, that is, a priori. § 12. In order to add something by way of illustration and confirmation, we need only watch the ordinary and necessary procedure of geometers. All proofs of the complete congruence of two given figures (where the one can in every respect be substituted for the other) come ultimately to this that they may be made to coincide; which is evidently nothing else than a synthetical proposition resting upon immediate intuition, and this intuition must be pure, or given a priori, otherwise the proposition could not rank as apodeictically certain, but would have empirical certainty only. In that case, it could only be said that it is always found to be so, and holds good only as far as our perception reaches. That everywhere space (which [in its entirety] is itself no longer the boundary of another space) has three dimensions, and that space cannot in any way have more, is based on the proposition that not more than three lines can intersect at right angles in one point; but this proposition cannot by any means be shown from concepts, but rests immediately on intuition, and indeed on pure and a priori intuition, because it is apodeictically certain. That we can require a line to be drawn to infinity (in indefinitum), or that a series of changes (for example, spaces traversed by motion) shall be infinitely continued, presupposes a representation of space and time, which can only attach to intuition, namely, so far as it in itself is bounded by nothing, for from concepts it could never be inferred. Consequently, the basis of mathematics actually are pure intuitions, which make its synthetical and apodeictically valid