MK

Morse-Kelley set theory(モース=ケリー集合論)

MK, Kelly-Morse, KM などとも呼ばれる。