Morse–Kelley set theory

GPTKB entity