Étant donné Par conséquent, il existe une infinité comptable, ou dénombrable, de programmes informatiques., dois-je supposer que Quelque chose qui est comptable doit aussi être dénombrable. est "vrai", "faux", ou "incertain" ?