logique de Bolzano