4. Le système de la « Grössenlehre » et les « Paradoxes de l'infini »
La Grössenlehre, qui date quant à l'essentiel des années 1830-1834, représente la réalisation, inachevée, du grand projet de Bolzano de donner un exposé rigoureusement scientifique de la mathématique à partir de ses premiers concepts et selon les normes de la Wissenschaftslehre. Quoique Bolzano revienne à la définition traditionnelle de la mathématique, il est le premier mathématicien à édifier son système à partir d'une doctrine ensembliste ; celle-ci est suivie de la construction du système des nombres naturels, rationnels et réels dans la Reine Zahlenlehre (Théorie pure des nombres), de la théorie des équations et de la théorie des fonctions. Bolzano n'a pas achevé la rédaction de la géométrie et de la chronométrie (science des propriétés mathématiques du temps) qui sont pour lui des disciplines appliquées de la théorie pure de la grandeur.
Le premier concept mathématique de Bolzano est celui de collection (Inbegriff) à partir duquel il obtient par des spécifications successives les concepts d'ensemble (Menge), de somme (une sorte de réunion disjointe) et de suite, qui concourent à la construction des nombres naturels. Au cours de ses recherches, Bolzano a rencontré, comme il le note dans Miscellanea mathematica, le paradoxe de la collection universelle, définie dans la Wissenschaftslehre comme étant l'ensemble de tous les objets identiques à eux-mêmes, et qui doit à son tour être élément de la collection. Pour échapper à la difficulté, Bolzano impose à son concept de collection une condition : aucun élément ne doit contenir un élément de la même collection.
Dans la construction du concept de nombre naturel, Bolzano se laisse guider par l'idée euclidienne du nombre comme collection d'unités. Cependant, il souligne l'aspect ordinal du nombre en le définissant comme terme d'une suite de sommes de multitudes, suite formée par une même loi récurrente. Pour détacher le nombre d'une multitude particulière, […]
… pour nos abonnés, l'article se prolonge sur 5 pages…
