En los conjuntos finitos siempre es posible verificar si una proposición es cierta o falsa; en los infinitos, no.
("verdadero y "falso" respectivamente) independientemente si se tiene evidencia directa para cada caso.
Esto se refiere a el Principio del tercero excluido, que excluye la posibilidad para cualquier valor verdadero aparte de "verdadero" o "falso", evitando así un enunciado contradictorio.
En contraste, las fórmulas proposicionales en lógica intuicionista no tienen un valor definitivo de verdad asignado y solo son únicamente consideradas como "verdaderas" cuando se tiene evidencia directa.
El uso de Lógicas constructivistas en general han sido vistas como un tema controvertido entre matemáticos y filósofos.