Moore y Oswald Veblen), quienes propusieron conjuntos de axiomas para una variedad de sistemas matemáticos.