En 1904, Huntington logra poner álgebra booleana en un buen fundamento axiomático.