Kelly-Morse_set_theory