Formalidad Así, la ausencia de toda mención de cosas o propiedades particulares en lógica o matemáticas puras es un resultado necesario del hecho de que este estudio es, como decimos, "puramente formal".