Huntington ha sobresalido en demostrar axiomas independientes unos de otros para la búsqueda de una secuencia de modelos, cada uno satisfaciendo todos menos uno de los axiomas en un conjunto dado.