El despojo de la intuición mediante los modelos isomorfos en la teoría axiomática

Abstract

Este trabajo se enfoca en el problema epistemológico que supone el desdoblamiento de una teoría axiomática entre formalismo e intuicionismo. La propuesta aquí planteada pretende despojar el intuicionismo originario de los axiomas mediante la evocación a una correspondencia entre los modelos isomorfos, esto es, los modelos cuya estructura lógica es semejante.