Le Système mathématique de Bernard Bolzano — Jan Sebestik