Bolzano intentó proporcionar fundamentos lógicos a todas las ciencias, construidas partiendo de abstracciones, de objetos abstractos, de atributos, de construcciones de demostraciones, vínculos...