On the foundations of Boolean algebra. I. (Q2611348)

Vorliegende Abhandlung enthält eine Untersuchung über gewisse Axiomensysteme, die man der sogenannten \textit{Boole}schen Algebra zugrunde legen kann. Zuerst stellt Verf. das gewöhnliche System auf, woraus das erweiterte System der \textit{Boole}schen Algebra erhalten wird durch Hinzufügung von ``Summe'' und ``Produkt'' einer beliebigen Menge von Elementen. Danach wird ein einfacheres System, bloß aus vier Postulaten \(\mathfrak B_1\), \(\mathfrak B_2\), \(\mathfrak B_3\), \(\mathfrak B_4\) bestehend, angegeben und gezeigt, daß dies mit dem früheren, erweiterten System äquivalent ist, wenn zugleich die Summen und Produkte durch passende Definitionen eingeführt werden. Besonders charakteristisch und wichtig ist dabei das Axiom \(\mathfrak B_4\), das folgendes aussagt: Zu jeder Menge \(X\) von Elementen des Betrachtungsbereiches \(B\) gibt es ein Element \(x\) derart, daß 1) für jedes \(y\varepsilon X\) gilt \(y < x\), und 2) wenn \(z\varepsilon B\), \(z < x\), und wenn für jedes \(y\varepsilon X\) aus \(u\varepsilon B\), \(u < y\), \(u < z\) stets \(u < v\) für alle \(v\varepsilon B\) folgt, so gilt \(z < v\) für jedes \(v\varepsilon B\). Eine Verschärfung von \(\mathfrak B_4\) ist \(\mathfrak B_4^*\), das aussagt, daß genau ein Element \(x\) von der in \(\mathfrak B_4\) erwähnten Beschaffenheit existiert, und Verf. zeigt, daß das System \(\mathfrak B_1\), \(\mathfrak B_2\), \(\mathfrak B_3\), \(\mathfrak B_4\) mit dem System \(\mathfrak B_2\), \(\mathfrak B_4^*\) äquivalent ist. Auf die Formulierung der Postulate \(\mathfrak B_4\) und \(\mathfrak B_4^*\) sowie teilweise der Beweise der Äquivalenzsätze sind die Forschungen \textit{Leśniewski}s von Einfluß gewesen. In \S\ 2 wird der Begriff des Atomelementes eingeführt (in \textit{Schröder}s Algebra der Logik ``Individuum'' genannt) und bewiesen, daß eine Reihe von Postulaten je mit dem Postulat äquivalent ist, daß, wenn \(x\varepsilon B\) und \(x\neq 0\) ist, stets ein Atomelement \(y\) existiert derart, daß \(y < x\) ist. Die Theorie, welche auf Grund der in \S\ 1 betrachteten Postulate mit Hinzunahme des zuletzt erwähnten Postulats entsteht, nennt Verf. das atomistische System der \textit{Boole}schen Algebra. Er formuliert und beweist zum Schlusse die allgemeinen distributiven Gesetze zwischen Addition und Multiplikation, und er macht darauf aufmerksam, daß das atomistische System der \textit{Boole}schen Algebra mit dem gewöhnlichen Klassenkalkül isomorph ist. (III 5 B.)