Robinson en su The thory of classes [1937] (en donde presenta una modificación del sistema de von Neumann), así como también por Bernays [1942].