In 1885 he distinguished between first-order and second-order quantification.
Το 1885 έκανε την διάκριση ανάμεσα στον ποσοτικό προσδιορισμό πρώτης και δεύτερης τάξης.