(у Пеано - знак включения), 
, 
ввел систему обозначений для пропозициональных связок (несколько адаптированных впоследствии Уайтхедом, Расселом и другими авторами); начал систематически употреблять точки для уменьшения числа скобок. Провел различение свободных ("действительных") и связанных ("кажущихся") переменных. Аксиоматизировал арифметику. В 1897 и 1901 предложил аксиоматики логики предикатов (аксиоматика 1897 года состояла из 11 аксиом и 48 определений).Работы: Formulaire de mathematiques. Turin, 1895-1908.