Para medir la complejidad de la teoría formal axiomática de Leibniz considera el tamaño en bits del algoritmo que genera sistemáticamente todos los teoremas, desarrollando todas las posibles pruebas, y obteniendo sistemáticamente todas las consecuencias de los axiomas.