O presente artigo pretende fazer uma defesa da matemática, em especial, da matemática pura. Partindo de problemas colocados por Kant no que concerne às condições de um pensamento puro a priori, seguindo por indagações promovidas por Leibniz no sentido da construção de uma linguagem artificial capaz de acessar de forma mais segura o mundo, e atormentados pela desconexão estrutural entre a linguagem humana natural e o mundo, elencada pelo debate da Filosofia da Linguagem promovida pela Tradição Analítica, se quis realizar uma investigação no sentido de procurar um conhecimento que fosse essencialmente a priori. Apesar do projeto logicista de Frege, ainda não foi possível uma linguagem totalmente artificial que expressasse o mundo sem suas ambiguidades. Entretanto, pistas indicam que a matemática pura, que tem como substrato a lógica, é uma linguagem formal poderosamente capaz de construir axiomas.
