Seit ihrer Entstehung in der Mitte des 19. Jahrhunderts haben sich Systeme der Mengenlehre in Mathematik und Logik als grundlegende Instrumente etabliert. Der Status der Mengen als abstrakter Objekte wurde von philosophischer Seite dagegen kontrovers diskutiert. Als eine Alternative wurden mereologische Systeme erörtert, die das Verhältnis von Teil und Ganzem formal beschreiben.Bolzanos Lehre von Teil und Inbegriff, bislang in der Regel als eine frühe Form der Mengenlehre interpretiert, wird in diesem Buch vor dem skizzierten Hintergrund untersucht. Dabei vertritt der Autor die These, daß sich das Bolzanosche System aufgrund seiner formalen Charakteristika weniger als eine Form von Mengenlehre, sondern zutreffender als eine Mereologie verstehen läßt, die ihre Aussagekraft erst durch Einbezug der Bolzanoschen Vorstellungen an sich gewinnt.