To the former class belong the objects of mathematics, the truths of which, since they are analytic (i. e., merely explicate in the predicate the characteristics already contained in the subject, and add nothing new to this), and since they concern possible relations only, not reality, possess intuitive or demonstrative certainty.