1666 йылда Готфрид Вильгельм Лейбниц үҙенең күп һанлы хеҙмәттәренең береһен — «Об искусстве комбинаторики» («De arte сombinatoria») яҙа[24]. 21 йәшлек Лейбниц логиканы математикалаштырыу проекты өҫтөндә эшләй[32]. Булсаҡ теорияны (уны ғалим тамамлап өлөгөрмәй) ул «дөйөм характеристика» тип атай. Унда үҙенсәлектәрен Лейбниц күҙ алдына килтергән бөтә логик операциялар ҙа була. Лейбниц өсөн арифметика һәм алгебра нигеҙендә эстәлекле фекерләүҙе алмаштырып булған фән теле идеал булып тора[33]. Формаль логиканы математикалаштырыумәсьәләһенә Лейбниц әленән-әле кире ҡайта, йә арифметика, йә геометрия, йә комбинаториканы (үҙе булдырған математика өлкәһе; бының өсөн ғәҙәти силлогистика материал булып тора) ҡулланып ҡарай[34].