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

Javier Pérez Coto

• español

  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.

• English

  This paper studies the epistemological problem supposed by the doublé tendency (formalistic and intuitionistic) in an axiomatic theory. Our proposal seeks to substract from axioms their originary intuitionism, through the appeal to a correspondence between isomorphic models, i.e., models whose logical structure is similar.