 In his Treatise on Universal Algebra, Whitehead took a generalized algebra—called ‘universal algebra’—to be the most appropriate tool for this study or investigation, but after meeting Giuseppe Peano during the section devoted to logic at the First International Congress of Philosophy in 1900, Whitehead and Russell became aware of the potential of symbolic logic to become the most appropriate tool to rigorously study mathematical patterns.