El tratamiento de carácter riguroso y sistemático llega solo en el con George Boole, Augustus De Morgan, Charles Sanders Peirce, Giuseppe Peano y Richard Dedekind.