6.125

Il est possible, et même selon la conception ancienne de la logique, de donner par avance une description de toutes les propositions logiques « vraies ».