Étant donné que Par conséquent, il existe une infinité comptable, ou dénombrable, de programmes informatiques., il doit donc être vrai que Une chose peut être à la fois comptable et dénombrable. ? "vrai", "faux", ou "incertain" ?