Fue propuesto por Von Neumann y Zermelo entre 1925 y 1930.