Prenez l'énoncé suivant comme vrai : "Par conséquent, il existe une infinité comptable, ou dénombrable, de programmes informatiques."
 Alors l'énoncé suivant : "Quelque chose qui est comptable doit aussi être dénombrable." est "vrai", "faux", ou "incertain" ?