Le rapport de Ableitbarkeit et de l’exigence de compatibilité avec la possibilité de démonstrations indirectes dans la logique de Bolzano a souvent été mal interprété. En l’absence d’hypothèses supplémentaires concernant la structure logique des démonstrations indirectes et le rapport entre démonstrations indirectes et Ableitbarkeit, l’exigence de compatibilité en général n’empêche pas les démonstrations indirectes. Les objections de Bolzano, quant à celles-ci, apparaissent dans le contexte de Abfolge, non pas dans le contexte de Ableitbarkeit. Une étude plus approfondie révèle qu’il y a en fait ici deux critiques. Leur identification et leur analyse aident à comprendre précisément ce que Bolzano considérait être le problème des démonstrations indirectes.