Analizujemy dwie prace Bernarda Bolzano o liczbach rzeczywistych: Rein analytischer Beweis (Bolzano 1817) i Reine Zahlenlehre (Bolzano 1962/1976). W pierwszej liczby rzeczywiste ujęte są w sposób aksjomatyczny, w drugiej, ...