Supposons qu'il est vrai que "Par conséquent, il existe une infinité comptable, ou dénombrable, de programmes informatiques.". Alors, est-ce que "Quelque chose qui est comptable doit aussi être dénombrable." ? "vrai", "faux", ou "incertain" ?