Sopra una forma particolare di procedimento dimostrativo. (Q1448362)

Im Anschluß an einige Arbeiten von \textit{Vailati} über ein Werk von \textit{Saccheri} (1903; F. d. M. 34, 9 (JFM 34.0009.*)) beschäftigt sich Verf. mit einem von letzterem benutzten Beweisprinzip, das darin besteht, aus der Voraussetzung, der Satz A sei falsch, seine Richtigkeit zu folgern, womit er dann in der Tat bewiesen ist. \textit{Saccheri} versuchte damit insbesondere einen Beweis des Parallelenaxioms, schien aber darüber hinaus der Meinung gewesen zu sein -- ähnlich wie \textit{Leibniz} --, jedes Axiom lasse sich auf diesem Wege beweisen.