Geometry is a science of magnitude; hence formal inference is the one most appropriate to it; since it treats the quantitative determination alone, abstracting from anything qualitative, it can confine itself to formal identity, to the unity void of concept which is equality and belongs to external, abstractive reflection.