A basic theory with predicates
Giacomo Lenzi, Vincenzo Maria Tortorelli · Bulletin of the Belgian Mathematical Society - Simon Stevin · 2002
In this work we present a foundational theory with a certain degree of selfdescription, in which different kinds of primitive concepts allow a formalization close to common usage and open to different engraftings.We also show the relative consistency of this theory, with respect to a fragment of the Zermelo-Fraenkel set theory, by building some models. RésuméDans ce travail, nous présentons une théorie auto-descriptive des fondements, où différentes sortes de concepts primitifs permettent une formalisation assez naturelle qui se prête à des extensions dans plusieurs directions.Nous en montrons enfin la consistance relative par rapport à un fragment de la théorie des ensembles de Zermelo-Fraenkel, en construisant divers types de modèles.