En los conjuntos finitos siempre es posible verificar si una proposición es cierta o falsa; en los infinitos, no.