Abstract : We present a first order untyped axiomatization of mathematics where proofs are objects in the sense of Heyting-Kolmogorov functional interpretation. The consistency of this theory is open.
https://hal.inria.fr/inria-00073782
Contributeur : Rapport de Recherche Inria
<>
Soumis le : mercredi 24 mai 2006 - 13:44:55
Dernière modification le : vendredi 25 mai 2018 - 12:02:05
Document(s) archivé(s) le : dimanche 4 avril 2010 - 23:58:03
