Reformulation of Morse-Kelley set Theory