In the history of number, we see that every systematic type is constructed on the basis of an essential inequality, and retains that inequality in relation to the next lowest type: thus, fractions involve the impossibility of reducing the relation between two quantities to a whole number; irrational numbers in turn express the impossibility of determining a common aliquot part for two quantities, and thus the impossibility of reducing their relation to even a fractional number, and so on.