Abstract
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].
xmlui.dri2xhtml.METS-1.0.item-notadetesis.item
Tesis para optar al grado de Licenciado en Ciencias con mención en Matemáticas.