En el mismo sentido, las proposiciones que se restringen a objetos finitos pueden ser categorizadas o bien como verdaderas o bien como falsas, tal como sucede en las matemáticas clásicas, pero esta categorización bivalente no se extiende a proposiciones referidas a colecciones infinitas.