An enrichment of ZFC called internal set theory was proposed by Edward Nelson in 1977.
Un enriquecemento de ZFC chamado teoría de conxuntos interna foi proposto por Edward Nelson en 1977.