An Interpretation of the Zermelo-Fraenke
โ
Olivier Esser
๐
Article
๐
1997
๐
John Wiley and Sons
๐
English
โ 530 KB
## Abstract An interesting positive theory is the GPK theory. The models of this theory include all hyperuniverses (see [5] for a definition of these ones). Here we add a form of the axiom of infinity and a new scheme to obtain GPK~โ~^+^. We show that in these conditions, we can interprete the Kell