Morse–Kelley Set Theory

GPTKB entity