An enrichment of ZFC called internal set theory was proposed by Edward Nelson in 1977.
یک غنی‌سازی ZFC که نظریه درونی مجموعه‌ها نامیده می‌شود، توسط ادوارد نلسون در ۱۹۹۷ ارائه شد.