Quine–Morse set theory