Esta memoria consiste en su mayor parte en aplicaciones del método de aritmetización introducido por Godel [1931] a ciertos problemas que para la teoría de Zermelo-Frenkel fueron resueltos por Gaifman [1975].