On cardinal numbers.
type: Item
instance of: scholarly article
title: On cardinal numbers.
zbMATH Open document ID: 33.0074.02
DOI: 10.2307/2370026
author: A. N. Whitehead
published in: American Journal of Mathematics
publication date: 1902-01-01T00:00:00Z
review text: Der erste Abschnitt dieser Schrift ist der \textit{Peano}schen Zeichenschrift, der zweite der \textit{Russell}schen Theorie der Relationen, der dritte, vierte und fünfte der Theorie der Kardinalzahlen gewidmet, wobei die Symbole der mathematischen Logik durchgehends gebraucht werden und die Sätze nach der dezimalen Methode numeriert sind. Hier bietet sowohl die Behandlungsweise als der Inhalt manches Neue der, und es ist daher der Mühe wart, einige Hauptpunkte hervorzuheben. Die Kardinalzahl einer Menge \(u\) ist die Menge der zu \(u\) ähnlichen (oder nach \textit{Cantor} äquivalenten) Mengen (1,3). 1 ist eine Menge, die, wenn \(x\) ein derselben angehöriges Element ist, kein von \(x\) verschiedenes Element enthält (1,4). Von 1 ausgehend, werden sämtliche endlichen Kardinalzahlen nach und nach dadurch erzeugt, daß\ man \(n\) als eine Menge definiert, welche \(n-1\) von einem vorgegebenen Elemente derselben verschiedene Elemente enthält (1,5). Eine nicht endliche Kardinalzahl heißt unendlich (1,8). Eine Kardinalzahl \(\alpha\) ist dann und nur dann endlich, wenn \(\alpha\neq\alpha+1\) (2,75); sie ist dann und nur dann unendlich, wenn \(\alpha=\alpha-1\) (2,76). Es wird nun ein ungewiesener Satz als Postulat (``primitive Proposition'') eingeführt (4,3); eine solche Einführung, welche wohl etwas sonderbar erscheinen darf, geschieht nach dem Verf. nur, um die Wichtigkeit des der Prüfung bedürftigen Satzes an dessen Folgen zu zeigen. Der Satz darf so ausgesprochen werden: Jede Menge läßt sich auf die Form einer Menge abzählbarer Mengen bringen; oder auch: Ist \(\alpha\) irgend die Kardinalzahl, so gibt es stets eine solche Kardinalzahl \(\beta\), daß\ \(\alpha=\alpha_0\beta\) ist, wobei \(\alpha_0\) die Kardinalzahl der abzählbaren Mengen (das \textit{Cantor}sche \(\aleph_0\)) bezeichnet. Als Korollare dieses Postulates mögen die folgenden Sätze angeführt werden: \(\alpha+\alpha=\alpha\) (4,32); \(\alpha\alpha_0=\alpha\) (4,33); ist \(\beta<\alpha\), so ist \(\alpha+\bet…
zbMATH DE Number: 2659006
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.2307/2370026
OpenAlex ID: W2315682087
description: scientific article; zbMATH DE number 2659006