Algunos constructos son matemáticamente verdaderos (pues existen constructos matemáticamente falsos, como formula_9 en la teoría de conjuntos).