   A true proposition that is contingent is one in which it can never be demonstrated that the subject and predicate terms are reducible to identities. Indeed, according to Leibniz, the analysis of these concepts can be carried on to infinity. While this might seem vague, Leibniz often compares the distinction between necessary and contingent truths to rational and irrational numbers.