tokens: Готфриду Вильгельму Лейбницу принадлежит авторство идеи использования математической символики в логике и построений логических исчислений Он выдвинул задачу фундирования математических истин на общелогических принципах , а также , какую систему счисления предложил применить лейбниц для целей вычислительной математики , предложил применить бинарную , то есть двоичную , систему , на каких принципах лейбниц выдвинул задачу фундирования математических истин ?