En los axiomas de Zermelo-Fraenkel y la teoría de conjuntos de Von Neumann-Bernays-Gödel, la ley de tricotomía se utiliza entre los cardinales de conjuntos bien ordenados incluso sin el axioma de elección.