Concepción de las matemáticas según la cual una teoría matemática es, esencialmente, el complejo lingüístico que la describe organizado en un particular sistema axiomático formal (sistema formal); queda garantizado así, con exclusión de todo recurso a la intuición, el máximo rigor deductivo.