Leibniz tenía un propósito similar para su generalis lingua de 1678, con el objetivo de un léxico de caracteres sobre la cual el usuario podría realizar cálculos que producirían proposiciones verdaderas de forma automática, como un efecto secundario el desarrollo de cálculo binario.