Professional Documents
Culture Documents
Cantor - Grundlagen
Cantor - Grundlagen
~~~\
.The C~assicsof
..
GEORG CANTOR
(1845 -.19l.8)
TRANSFINITE NUMBERS
Three papers on transfinite numbers from the Mathematische Vol. XLVI (189S). PP. 481-512. Annalen
..
0;
'
.,::
.'~ ,
George ~. Bingley
Je suis tel1ementpour 11infini actuel, qu'au'lieu d1admettre, que la nature l'abhorre, comme lIon dit vulgairement, je tiens qu1elle l'affecte par-tout, pour mieux marquer les perf'ectdons de son AuteUr. - Leibnitz
92.
ON INFINITE, LINEAR POINT-MANIFOLDS
(Jlathematische Annalen, Vol. XXI, p. 545-91; '1883) Georg Cantor in Halle (Continuation of the article Also reprinted, in Vol. XXI, p. 51) "Grundlagen einer allgemeinen
Mannich£altigkeitslehre~ff
5.
§ 1.
The presentation at last of m1 investigations up.to now in the·theor,y continuation depends upon
'~''''''f''''''\''U of thE! ccncept of real integer furthElrroon" this extension lies ha.s proceeded.
"in a direction
along l\1'l.ich to
knowledge
This dependence, which brings me face to face with an extension ~umber conoept ~ is so great,. that. vd. thout such an extension it possible to take even the slightest may then, for this
IOJ,IU.J,.V",;y,
YO uld
be
for introducing
(·,1ber das Unendliche); daring ae this may seem, I venture this extension will one. I make no
be recog~izedas
'.
an entirely
i~ considerable
cal infinite
.role of a variable which grows [546] beyond all limits or di.mirishesto any • desired minuteness, but which always appears as a quantity remaining finite. I call the ideal-infinite (Uneigentlich-unendlich)*.
But in recent times and even at the present day, in geometry and in the theory of functions, another equally justifiable kind of concept of function
"'1nfini ty has arisen, 'in which for example, in the study of en analytic a complex variable,
it has becomethe geperal and necessary usage to think in the plane .of the complexvariable, that is, the
of the function in the neighborhood of this point; from which it turns out.that the behavior of the function in the neighborhood of the infinitely exactly the same properties as at any point in the finite
in this
as lying at a completely determined point. Whenthe infinite actual-infinite appears in such a definite form I call it
(Eigentli.ch-Unendliches)*.
, *Transllltoris Note: . The translator is not entirely satisfied with his renderings of "Uneigeritlich" and IlEigentlichU as ideal and actual, in that they fail to showthat the former is the negative of the later; "non-actualll and "actuulJt seemedtoo artificial. "Realtl for UEigentlich" is fraught with countless ambiguities. Bertrand Russell suggests "improper" for "Uneigentlich".
94.
These two roles in which the mathematical infinite appears,
c.rI...,J .......
sis, and in mathematical physics, must be carefully distinguished from other if we are to understand what follows. In the first form, as ideal-infinite, it appears as finite and
WaL..La.lLLO;
it is seen to be
The infinite real integers which I shall define and to whose study I had devoted a considerable period of years I became clearly aware that they were to be regarded as concrete numbers real meanin~ , have absolutely nothing in co~on , with the first of these .
, with the ideal-infinite, but possess rather the same cho.racter of deterss which is the property of the pqint at infinity of analytic functions; belong therefore to the forms and characters of the actual-infinite. reas the point nt infinity in the plane of the complex numbers stands alone distinot from all the points of the finite region we obtain not a single inte [547J integer but an infinite series of such, which are clearly differented from each other and· stand in orderly number-theory relations to each other well as to the finite integers. These relationships are not however such as
be referred in their unqerlying principles to the relations of finite n~ to each other; this kind of relationship (that of finite numbers to each
may appear, however, as it frequently does in the case of the various in-
...,,,, ,,,s ".. ... ,,, (St~rken) and forms of the ideal-infinite, ...
which become infinitely small or infinitely large, in case they determinate finite order number-s' in their process of becoming infinite. relationships can only be looked upon Ln fnct as veiled mterrelations of
the finite or of such quantities as can be directly referred to the finite; the
Up to now I have called them IIde finitely defined symbols of vid. Math. Ann. Vol. XVII, p. 357; Vol. XX p. 113; Vdl. XXI p. 54.
95.
·laws governing the actual-infinite integers (yet to be defined) are , on the · other hand, fundamentally different from the relationships which obtain for the finite, from which it is not unlikely that the finite real numbers the~ selves may gain certain new determinations with aid of the actual infinite numbers. The two erfnciples of gener~tion, by whose help, as will be shown, these new definite infinite numbers will be defined, are of such a natureJ that through their united operation ever,y bnrrier seemingly inherent in the , concept of the real integers can be broken through; fortunately, however, a :~ ~ principle appears as we shall see J which I cell the limiting or restrict-· principle, b,y which successive definite limits are imposed upon the endless
·process of generation, so that we obtain natural divisions in the absolutely infinite succession of the real tntegers, Which divisions I call number-classes ,(Zahlenclassen) •
The first number-class (I) is the set of the finite integers
:consisting of certain infinite integers following each o~her in a determined succession; after defining the second number-class the third is reached, then fourth . &tc. The introduction of these new integers SGems to me, turthermore, to be of the grea.test importcnce for the development and clarification of .the concept of power (Uichtigkeitsbegriff) which I have introduced and fre-
quently applied in Ge.rlier portions of ntV -work. According to this the~ry a power is aasocd.at-ed with every well-defined set, in that the same
assigned to two sets if a reciprocal one-to-one correspondertce can be up between the two, element for element.
In
(Anzahl) of elements since such sets, as is known, have the same number,
"
96.
of elements in every ordering of them.
In the case
tion up to now of a precisely defined enumeration (Anzahl) of their elements either in my works or else:where, although the concept of a power Which is en.tirelyindependent of any particular ordering has been discussed. The smallest power of infinite sets as is easily justified is .assigned to those sets which are related in a reciprocal one-to-one correspondence to the first number-class and aocordingly have the same power as that But as yet there has been lacking an equally simple, natural definihigher power s,
Our
integers are now seen as the natural representatives, presented in unified 'form, of the orderly ascending succession of powers of well-defined sets. I
sert specifically that the power of the second number-class (II) differs not from the power ot the first number-class, but that it is in fact the next we may call it the second power or the power of the second class. the third number-class gives rise to the definition of the third
mOl'le'r
§ 2.
Another important gain which is attributable to these new is acquired, for me at least, in a new concept, now appearing for the first time, that of the enumeral (Anzahl) of a well-ordered (wohlgeordneten) ... infinite manifold (Mannichfaltigkeit); since this concept is always expressible
a completely determined number of our extended number domain so far as the order of the elements is determined in a manner immediately to be defined and since also the notion of enumeration representation (Anzahlbegiff) finds a directly objective
SO
97.
through this connection between enumeral and number.
By
a well-ordered
set \'lhose
elements are connected with each other by a definite prescribed succession, according to which there exists a first elament of the set and, further, every element of which is followed in case it is not the last in the succession by another ~nich is determinate, and also to eve~J finite or infinite subset of which there exists an element which is next in the succession to all the e1ements of that subset (unless it happens that there is no successor to the ps.rticular subset selected).
the same enumeral (With respect to the particular prescribed succession) when a one-to-one reCiprocal correspondence of such a kind is possible
J
that, if E
and F are any two elements of the one, El and PI the corresponding clements of the other, then the position of E and F in the succession of the first set is
in agreement with the position of El and Fl in the succession of the second set,
such that.t if E precedes F in the succession of the first set, then El precedes F1in the succession of the second set. This correspondence if at all possible,
is, as is easily seen, always a completely determined one and since in the extended number series :there exists one and on1yone nwnber 0(
, such that the
numbers which precede it (from 1 on) in the natural succession have the same enumera1, one is compelled to set the enumaral of both of these well-ordered sets as 0(
I
,if
ex:
ex
is a finite integer.
The essential difference between finite and infinite sets is seen in this, that a finite set gives rise to the same enumera1 (Anzah1) of elements in every succession which one may impose upon its elements; while a sct composed of an infinity of elements will in general lead to different enumerals depending upon the succession which may be given its elements. The
98.
themumeral. is seen to be a property depending in general upon a given There
JII
',
~.
is, nevertheless, even in the case of infinite sets, a certain relationship between the power of the sct and the enumeral of its elements determined by a given succession. First, if we take a set which has the power of the first class, and give to its elements!!!.! determined succession so that it becomes a IIwell-ordered" set, its enumeral is always a definite number of the second number-class and can never be dlilterminedby the number of any other than the second number-class,
On the other hand, every set of the first power
may be. ordered in such a succession that its enurnerai, with respect to this
and only by such, [550] and it is always possible to give to the set such a succession
o.t
any
arbitrarily chosen number of the second number-class, which number is given by the enumernl of the elements of the set with respect to thnt succession. Analogous laws hold for sets of higher powers.
Every well-
defined set whose power is of the second class is countable by numbers of the third number-class an~ only by such, and further it is always possible to give such a succession to its elements that it is countable* by any arbitrarily chosen number of the third number-olass, Which number is determined by the enumeral of the elements of the set with respect to that succession. *Tha.t which I·have called ",countable" (abz5hlbar) in the earlier numbers of this work, is, according to the sharper and more general definition which I have now introduced, nothing more than "countability" (or enumorability) (Abzahlbarkeit) by n~ers of the first class (finite se~s) or by numbers of the second 'cle.ss (sots of the first power).
,"',
I
I:
.",
;j
..,
~i
:)
99.
The ~oncept of the well-ordered
J
" 3.
for the whole theory of sets. Whether it is possible to reduce every welldefined set to the form 'of a well-ordered one, a fundamental and very useful
law of thought especially remarkable for its universal validity -- will be taken up in a Inter article*. the concept of the well-ordered Here I restrict myself to proving how out of set the fundamental operations for the integers can be derived in a very simple manner
and how the laws governing these operations follow directly with apodictic certainty from intuition ( inneren Anschauung). If two well-Qrdered sets
M and Ml are given whose enumerals correspond to the numbers then M + Ml is also a weU-ordered
ex
and
f3 '
set, which results if first the set M is and united with itj there then
corresponds to the set M + Ml a determinate number as enumeral in relation to the given succession of its elements; let this number be called the sum of
0(
ex
and ~
,and
designated as, ~
+~
and ~
finite ..C( + ~
simple to construct the concept of the sum of several given terms (SUmmanden) of given sequence, even to the extent of considering a succession which is itself a definite-infinite one, [551] that I need not go into further detail
and need only remark that the associative law is seen to be of universal vali*Translator's Note: The celebrated proof of Zermelo that such a reduction is always possible has given rise to heated contnJversies. The postulate, usually call~d the axiom of choice, upon which his proof rests, has not been .acepted by some as of universal validity.
100.
dity. In particular
cc + (~
...we have:
...
r ) = (0< + ~ J + r .
elements equals determined by the num-
If one takes a sequence of sets all of which are alike and similarly 0( ber
J
ordered and for each one of Whichthe enumeral of its and if the succession of the sets is definitely
I Ii:
offers
where ~
is the multiplier
the multiplicand;
O(~
here also, it turns out that in general the cOnmnltativelaw for multiplication law for multiplication
(3o<.
differs
that is,
O«(~r) =(D(~)('
Among these new numbers someare distinguished that they possess the prime number property, · be characterized in a very definite although this from others' in property mst now
"
"meant a number for Whieh the factOring: is only possible When ".the multiplicand
p;:
"
(3 G '
where ~
is the nn.1l.tiplier,
1 or ~ =-
ex. ;
In
article,
essentially
only one way, and with respect to the sequence of its factors
prime numbers appearing in the proprime numbers are found of to the finite prime numbers, different charac-
it now becomes possible with the help of this new a theorem which appears at the conclusion
rigorously
IIAcontribution
101.
In the last issue (4) of this article (Vol. XXI, p. 54) I ved a_theorem for point-sets continuous region, P which are contained in an n-dimensional as follows by applying the new, well-
P (01)vanishes identicallY~
0<.
is an;y arbitrarily
chosen inp(l)
II
, and
.!l!:S.
class.
It seems
theorem has a converse Whichcan be expressed as Whosefirst derivative of the ~ has the power of or second numberhaving
~';
,
=--. class,
,this property,
0(
theorem, at the
suggestion of my distinguished
in stock-
in the first volume of the new mathematical the conclusion of :which he will
Dzy'
article
Herr Mittag-Leffler
The extended series of integers, if there is need to do so can be enlarged quite simply into a continuous number-set by merely adjoining to every integer C( , nIl real numbers x which are greater than zero and less than
I
, ,
:' . I ~i
Perhaps at this point the question will suggest itself, Whether, since in the manner described a definite extension of the region of real n~ bers into the infinitely great has been attained it would not be possible to
do the same with equal success for the infinitely small, or, what might turn
Ii"
1\
,
'
102. out to be the same, 'Whether it would be possible to define finite numbers (which would appear as limiting values of series of irrational numbers) which would not coincide with either the rational or irrational numbers but would insert themselves among the real numbers as the irrational numbers among the rational or the transcendental algebraic numbers. The question of the establishment of such interpolations
Dzy'
upon which some authors have expended considerable effort, can, in ion,and
opin-
aid of our neW numbers and particularly on the basis of the universal concept of enumeration of well-ordered ·sets; While the previous attempts, as it seems to me, rest partly upon a confusion between the ideal-infinite and
the .actual infinite, partly upon a thoroughly unsound and Wllvering foundation. The ideal-infinite has often been characterized by recent
philosophers as a IIbadll (schlcchtes) infinite, in my opinion quite unjustly since it has shown itself to be a very good and highly useful instrument in mathematics and the natural sciences. ti~ies, so far The [553] infinitely small quan-
as I know,
have until now been usefully devcloped only in the and are as such ca.pable of aU those variations,
and interrelations
sis as well as in function theory and ~nich necessarily arise if the rich harvest of analytic truths is to be gathered. this infinitely small into an actual-infinitely nbendoned as to no purpose. But all attempts to force small must finnIly be small quantities
If somehow actual-infinitely
did exist, i.e. were definable, they would certainly stand in no direct relationship to those familiar quantities which are in the process of becoming infinitely s~
103.
In contrast
to these attempts to advance through the infinitethe two forms of the infinite there is frequently
found a point of view on the nature and meaning of numerical quantities denies the actual ~s.tence
~ ..
'
of our n~
which
bar-class
(I) .. At most a cert~in reality is granted the rational But as for the irrationals, numbers which they are
proceed eo di~ctly
to be assigned l~:rely a formal meaning in pure nathematics, in that they serve ~ some ~erse as signs useful for calculation (Rechenmarken), for es-
to be discovered muet be looked upon as relato each other; the infinitesimal analysis (legalisirt)
and with it the theory of functions ,are considered to be legalized only in so far as their the finite integers.;
theorems are demonstrable through laws holding for With this conception of pure mathematics, although I are undeniably associated certain advan-
tages, which I should here like to emphasize; for the importance of this point of view bespeaks the fact that amongits most meritorious mathematicians oftha followers belongs a group of the
If, as is here assumed, only the finite all else is nothing other than forms of relationships then it for their can be expected that the proofs of analytical
"number-bheory content" and that every gap which appears in them out according to the basic prinCiples of arithmetic; of such a "filling-out" is to be seen the true criterion in the for
the genuinesa and complete rigor of the proofs. that in this way the establishment
, a guarantee against every kind of nonsense or error. In this way a definite, if somellhat over-restrl'.ined and obprinciple is set up, that is recommended to all as a test; it should serve show any flight of mathematical speculation and fancy its true limits, with-
runs no danger of hurtling into the abyss of the "transcendental", it is said in tear and wholesolOO alarm that "anything is possible". knows, for it is an uncertain matter, if it was not merely the point of of usefulness which actuated the authors of this principle to recommend
t to those soaring forces Which so easily encounter danger through their excess
although a fruitful prinCiple can not be found therein; for the assump-
that they themselves in finding new truths had proceeded from these princiis for me out of the question in that I, however good some pages of their
may be, Dillstregard them in the strictest sense as erroneous; we owe to
been fully
science would have been retarded or at least hemmed by the narrowest Fortunately matters are really not that bad and the observanoe of
rules as Vlell as obedienoe to them ..useful, under some circumstanoes and never been taken entirely literally; also, up
to now, so far
strikingly true that no one who has made the attempt has been formulate the proper rule better or more fully than is here attempted
If we look about in history it appears that similar views often been adva~ced qnd even as early as Aristotle, It is well known that coming from But if one con-
middle ages the principle of "infinitum actu non dctur1t, was accepted by all the scholastics as inviolable.
10;.
the infinite
t they
(vid.
his Metaphysics, Book XI. Chap. 10) I it will be found -mich involves
a petitio
principii,
'c
the
ILss,um;pvJ~on, namely, that there are only finit9 numbers, from which he concluded
to him only enumerations (Z'hlungen)
of finite
that I have proven above and it will appear even more clearly in what
IU.l..L .....IVQ
in this
sets can
just
as well as
ot
finite
law is given
except also that here a peculiar property of finite the enumeration ; While for infinite
,
the enumeral -
inte-
which deterndnes
the nature essential
the pa.rticular
never a,ga.incan
difference,
but ra.ther
other must go also; where should we be then? Another argument advanced by Aristotle against the reality of and nwnber
infinite
stroyed
consists
by the infinite
nllegedly
the situation
as follows as
llill be clearly
)ut affecting
the dissolution
of the latter
(the finite
n~~r)
106. reverse procedure, the adjunction of an infinite latter is given first, effects the dissolution
ting any modification .infinite, to analysis entirely of the former. number to a finite one if
This corrected
unknown to Aristotle,
particularly
I'
introduced
the seventeenth century, but also [556] which fixes (fixiren) it by numbers in
·the determinate form of the completed-infinite (vollendctunendlich) -- I have
to traditions.which
on over long years,
I value, by scientific
and I believe
studies
and investigations
car-
§ 5.
When I just now spoke of traditions, I Wo.s thinking rather of them to the
not in the narrower sense of that Which has long passed,' but refer founders of the newer philosophy and science.
. on the question which is being brought up here, I submit some of the most impor. ta.nt references.
and comments on his meditations; also Principia I, 26. Spinoza,' Letter XXIX; cogitnta metaph. parts I and II. Le1bnitz, ErdmrumEdition, pageS'l3BJ 244, 436,· 744; Pertz
307, 322, ~;
Edition, II, I, page 209; III, 4, page 218; III, 5, pages III, 7, page 273*. Hobbes, de corpore cap, VII, 11. of human knowledgeJ CXCVIII - CXXXI.
*1'hl3
107.
Stronger arguments than these against the introduction integers of in-
can hardly be imagined even today; let these arguments be exA detailed and thorough discussion of and significant letter of
Spinoza to L. Meyerwill be reserved for another occasion, for the momentI have merely the following to say·. Howeverdifferent their judgmept of the finite the doctrines of these writers may be, in they all
and infinite
.. essentially infinite
agree as it cannot be otherwise since the theorem beside the point; but as as I have already pointed
"onmis determinatio est negatioll is tor me entirely . to the first point I see in it a petitio principii,
argument against the "infinitum actu'J, to be found in nearly all these The assumption that besides
#
[557]
nevertheless -
are deter-
this assumption
: I find to be thoroughly untenable and it stands, in my opinion in actual contrato certain theorems proposed by the Last, two. philosophers in the above have demonstrated in this work as there is a trahs-
references.
(transfinitum)
supra..,.finite (suprafinitum):
that is, there is an unlimited ascending ladder of nodes, Which in its nature
is not finite determinate, but infinite, well-defined but which can be deterndn~d as can the finite and distinguishable, quantities numbers. It is ~ by
conviction and
lOS.
I now modify the Aristotelian-scholastic sed in paragraph 4 as follows ~ theorem dis-
seu infinita
numbers are conceivable; but again I see in this It is tacitly assumed that
"finiteness
understanding with certain qualifications, this latter being in my opin10n the right procedure. The words "finite understanding" which one hears so may be,
.often in no way hit the mark; however limited in truth human nature
.it still
partakes greatly
of the infinite
infinite,
and
of the Absolute, to Which \'Ie. all agree, would be inexplicable • I submit the thought that the human understanding is an unbounded
abode for the step-b,y-step construction of the integer number-classes, which " stand in definite relationships to the infinite modes and whose powers are of ascending magnitude. The chief difficulties in the systems of the two last-named philosophers, which outwardly are so different but in an inner sense are so closely related, may be brought nearer to a solution, as I believe, if the point of view suggested by me be adopted, and some of the difficulties may now be entirely satisfactorily solved and explained. It is these very diffi-
culties which have given rise to later criticism, which, in turn, for all its
109.
s has not assured a suitable substitute for the retarded development doctrines of Spinoza and Leibnitz. Alongside or in place of the mechani-
explanation of nature, Which, inside its spheres has all the aids and res of mathem9.tical analysis at its disposal but whose onesidedness and weaks have been strikingly pointed out by Kant, there has been up to now.not the beginning of an attempt to create an organic eXplanation of ~~ture which
be
equipped with the same nathematical rigor; ground can be broken for such
attempt, as I believe, only by taking up afresh the works of these philosophers continuing them.
An especially
~9'ne~!'L
example already touched upon in paragraph 4 seems in its simple symbolism to way along which one can come nearer perhaps to a solution of this If'tJJ is the first number of the second number-class, 1 then 1 + tJ = GJ ,
Ii
{(N
depends as is here clearly seen, upon the position (Stellung) of the relative to the infinite; in the first case tho finite is absorbed into infinite and Vanishes, but if it modestly takes its plnca ~ the infinite
intact and unites with the infinite to form a new (since modified)
e 6.
If difficulties (~bgeschlossene) arise in imagining such infinitJl~ great, segreintegers, which nre comparable to each other and to the
.finite integers, and are bound to the finite numbers by fixed laws, it will be .found that these difficulties depend upon the realization that the new nwnbers
I'
have in some aspects the character of the preceding ones but from several other
I
,t··
I: L
t~
Ih
"J)
nature,
in that
it my often
that disparate
properties
that an·infinite
and since the two properties such number exists. It is here tacitly have previously
Isn't
every generalization
of concepts associated with the abandonment of certain unthinkable without it? Weren't complex quantities,
lopment of analysis
:nt'roclueedwithout seeing any hindrance in the fact that they can neither
,cu_~.'='u
positive
or negative?
Bewusstsein) to follow me, than was possible in the case of complex for the new integers, characterized (the finite as they are numbers), Whereas the until their
a more intensive
predecessors as these
enumerals the same kind of reality of complex quantities representation trouble. To return briefly us look agsdn at the number G.) those properties
poe4e'h'8aers
ph 3 general definitions
ill.
lPU<<2.P ..
"~g~ the fact that in these operations the conunutative law had no validisaw an essential difference between finite and infinite numbers. ~ by
in this.1
pot
by ~
• Accordingly (.J
Fromanother point of view it can also be said that GJ is neither odd, since, as can be easily proven, G.)
3.0(
+I
has therefore
an entirely
s and characters
Although in paragraph 5 I have cited many passages in Leibniz t; in which he speeks against infinite
........ """, ... , 11 II
les prend pour des Touts veritables. ation,c'est forme un finill 1labsolu; au contraire,
"L'infini
v6ritnble
passages of the arume philosopher in which he in a certain himself for the actual-infinite
. in no ambig'llousway.
P. 118:
1,';1"
t"
de son Auteur.
differentes.1I
ID.
';f'Lc' '.
r'"t
....
:;"j;
(I
don't mean
chemical-physical atoms of Democritus which I can not regard as existent ther conceptually or really, up .to a certain point by this although muchthat is useful hee been achieved fiction), has fO\Uldits.st critical defender
'':::'.;
in a
very keen-minded philosopher and. mathematician of our century, Bernhard and valuable wo rk,
II ,
::'ro
not always
to refiect
in their true
ftthe ideal-infinite,
$rdifferentials
iJlr.'aelrie~s or
In this book [561] is also to be found a discussion of pertinent in ma.tzy points, as it appears in the form of
of the first
and higher orders or in the swmnationof infinite processes. 'l'his infinite (called by some scholastics
other limiting
is merely a concept of our thought to aid and included variability and of which
the "daturll can never be said in sense .f the actual. It is' rather remarkable that ~ ldth respect to this kind of no essential . philosophers, positivists infinite, differences of opinion prevail even amongpresent-day
except for the fact that certain modern schools of so-called or realists4); or materialists believe that in this sYpcategorematic
they see the highest concept (h~chsten Begriff). Even in Leibniz an essentially correct point of view is found to this ideal-infinite,
Ego philosophice loquendo non magis sta~u. rnagnitudines infinite parvas quam infinite magnas seu non J1I!.gis , infinite simas quaminfinituplas.
us.
,ri:l.,ClI.I"'LC
enim per modum loquendi compendiosum pro mentis fictionibus habeo , ad aptis, quales etiam. sunt radices ilnaginariae':inAlgebra. Interim
vi, magnum. has expressiones usum habere ad. compendium cogitandi adeoque
inventionem; et in errorem ducere non posse, cum. .pro infinite parvo substituere ficiat tam parvum. quam quis valet, ut error sit in1nor dato, unde consequitur
,
j"
Bolzano is perhaps the only one for whom there is a justification actual-infinite numbers, at least he says a great deal about them; but I
disagree with the nammer in which he operates with them without being to give a correct definition of th~m and'I regard, 'for example, paragraphs 33 of his book as errcneous and neaningless. The author, fails to give any
are found here and there in special instances but he fails to develop these to full clesrity and determinacy, thereby failing to explicate many inconstencies and even
many
in the theory of sets and the same holds, I believe, of the fielcm Which
subsumed under it or have close a~sociation with it, [562] ,for example, rootheory on one side and logic and epistemology on the other. When
the infinite, as I have done in this an~ my earlier works there a genuine pleasure to which 1 thankfully yield, in seeing how the concept integer which,for the finite case has only the background of enumeration, when ascend to the infinite, separates into two concepts, one of power which is of the order which is given the elements of a set, and one of enumerais necessarily associated with a definite ordering of the set by virtue of Which the latter becomes well-ordered. And if I descend again from the infi"
the finite i see how equally clearly and beautifully, the two concepts and c'oalesce to form the concept of finite integer.
114.
8.
We can speak of the reality or existence of the mtegers" finite or infinite, in two senses:
in fact they are the same two
ionships in which the reality of any concepts or ideas are to be oonsiFirstly, integers may be considered real in so far as they occupy an definite place in our understanding on the basis of definitions, can precisely differentiated from all other parts of our thought and stand in relationships to those parts" and accordingly modify the substance thought (Geistes) in a determinate fashion; I propose to call this kind reality of our numbers their intrasubjective· or imnanent reality 5) • Sec. i.
is exterior to the intellect, as, for instance, the various number·,classes (1) (II) (III) etc. are representatives of powers which are actually
'.
'
of reality 1 call the transsubject:i..ver transient reality of the integers. o In lieu of the thoroughly realistic but at the same time none idealistic basis of mY considerations, there is no doubt in ~ mind that these two spheres of reality are always found together in the sense that a concept said to exist [5~3] in the first sense always also posse~ses in certain and even in an infinity of ways a transient reality ~" whose dcterrrd.na-
tion it must be gr~~ted becomes for the most part one of the most troublesome and profound problems of metaphysics nnd must frequently be left to times· in which the natural development of one of the other sciences eventually reveals the trnnsient meaning of the concept in question. The connection of both realities has its peculiar foundation in the unity (Einheit) of the !!l(Alls), to which we ourselves belons. A
mention of this connection has only the value here of enabling one to derive from it a result which seems of very great consequence for mathe~~tics, namely,
and ·solely
take account of the immanent reautY· of: its concepts and hae no obllgation'"'·
..
.
''''::IT ........,... ' .
reality.
On account of this
--
singular position which differentiate~ it from all of the other sciences and
affords
an explanation
manner With
which one may operate with it, it particularly deserves the name of free mathematics.(treien precedence Mathematik), a designati.on which if I had my way, would take
"pure"
mathematics"
restriction
with
~~ th?se concepts which have preceded, these being already present and established
1.).
It
def~t~ons
. rela.tions.hip to the older numbe%'si~ granted them, that they can in any given
. ,case be definitely distinguished fies real, all
It is in this that
as
much existent
as the
sciences in these principles, as many thi.nJC: the conditions imposed under which the freedom of constructing numbers can be excercised ~re of such a kind that they permit very little room for arbitrary action {Spiclraum); for every mnthem?tical concept carries within itself the necessary corrective; if it is
,
t ' "
fruitless ~nd purposeless, that is soon seen and it will [564] because of little success be abandoned. to mathematical
of
the science;
us,
nature (Wesan) of mathematics lies in its very freedom. If this property of mathematics had not been deducible from the
ve·Rmeln~ionedreasons, the very development of the science itself as it has would have inevitably led to the same conclusions. If Gauss, Cauchy, Abel, Jacobi, Dirichlet, Weierstrass, Hermite·
Riemann had been forced always to submit their new ideas to a metaphysical (Controlle), we should certainly not now enjoy the magnificent structure
new theory of functions which, although created and erected in full freewithout transient purpose nevertheless reveals its transient meaning in
to mechanics, astronomy, and mathematical physiCS, as was to be we should not be witnessing the great advance in the theory of dif~eI"1em:'1.au.
many
forces had been restrained &Od restricted by outside influences; and Kummer had not allowed himself full freedom in his successful introduction 1I1d"al-J' numbers into number theory, we should today not be in a position of .the jmportant and excellent algebra.ic and arithematical WJrks of
.lIappliedtl mathematics as for examp'le analytic mechanics and mathem.~tticD.l physics; these di"iplines .are iri Jl\Y opinion in their founda'td.oneas well as in their if they strive to free themBelves from it as has been re2.
cription of nature", in which is lacking not only the fresh a.ir of free mathemetical thought but also the power of explaining (Erkl~rung) and laying the foundations (Ergr&ndting) of natural phenomena.
117.
significance
-mioh is attached
to 1'eal"
and irrational
[565]
have frequently
Arithmetik,
. Berlin, 1861) and J. H. T • Mtill.er(Lehrbuch der allgemeinen ArithI do" however" though briefly .. "Wish to speak in more (with Which I am familiar and which
, Hille, 1855).
detail
the general real number in a rigorous is the form which Prof'. Weierstrass lectures on analytic functions
way_
The first
of these
has made use of for many years in his of which are to be found in
1872).
to the analytic
For the definition of an irrational ~lways associated rational numbers; a well-defined infinite
the difference
..........--------------
lies in the manner of generation by which the set is connected with the
118~
to be defined, and in the conditions
"'~JI&"""""
the condition,
that,
summed, the sum. so formed always remains less than the limit
If two such aggregates three
"' i
I ~;',". Ii',
l~ )
1. is n
contained . "
always more otten in the first aggregate than in the second, or thirdly,
.! , n
from a given p. on is contained [566] in the second aggregate more often than Corresponding to these cases, if band b' are the numbers to be defined by the aggregates (ay) and (a'v)' respectively, in the first case we
b I, in the second b
>b
case b
<
b! ,
If the
two aggregates are combined to torm a new one (ay" atv), this
for the definition of b + b'; the new aggregate
(a .at
all
ay
.v
and all a'vt this new aggregate forms the basis for the definition of
It ts seen that the motivating principle of generation Which
associates the set with the numbers to be defined by it, lies in the formation of sums; but it must be emphasized as essential that only the summation of an always finite number (Anzahl) of rationaJ..elements is performed and that the number b to be defined is not set at the start as equal to the sum ~ the infinite series
logical
By a.
of
Cay);
;£ av is not reached
(gewonnen)
logical error first pointed out by Herr Weierstrass was in earlier times in
119. versal practice and was not noticed because it belongs to those rare cases mich actual erroz-s.of reasoning do no appreciable harm to calculations.
S5
t of r~tional number. The definition of Herr Dedekind considers the totality of all rational numbers, divides these into two groups in such a way, that, if the numoer-e of the first group are designated by Ay, those of the second group by then always c~ls
A"
<
it bY. (Av/
. I\r)
. t a number b.
If two such cuts are compared, one finds as for the first de-
tinition, three possibilities of which the two numbers b and bl corresponding two cuts are either equal or b
>
b' or b
< ~'.'
tor certain easily regulated modifications which must be made if the numbers to be defined are rationnl,if the two cuts are completely identical and here is seen the undeniable ~dvantage of this definition over the two [56,7] that every number b corresponds to a single cut, which circumhowever, has the great disadvantage that the numbers of analysis never appear in the form of "cuts" J into which form they must be brought with great art and ingenuit:v:. Then follow definitions of the sum b + b' and the product bb' from new cuts derived from the given ones. The disadvantage which is inherent in the ~ and ~ de-
finitions is that here the srume, i.e. equal, numbers can be represented in an *Translatorls Note: ·Compare·]mclid's definitions V and VII, Book V, of magnitudes with this !lcut"of Dedekdnd,
""'Il
.
l
, ,
II!<
Ii'
!I
120.
attainable.
by specializing single-valued
continued fractions.
I come nowto the third
infinite
~et of rational
numbers (~)
definition
definition; , a finite
I require,
that,
any o.rbitrarily
small rational
numbcrC
number (Anza.hl) of
set can be removed, so that the remaining ones taken in pnirs have which in' absolute value is less than which also can be characterized
by the requirement:
L i",
VcCF)
( 0. Y +)A -
a.V) =
}J.,
),
for which one can well use the symbol (ny) itself,
for sufficiently
any ar~itra.rily
p.
p ; or,
from a certain v on less than case I say that b equals in the third,
In the first
zero, in the second, that b is greater that b is less than zero or negative.
.~
If (ay)
&ld
(a'v)
are
determining the nwnbers band bt , it can be shown are also fundamental series, which determine tbree b t. bl aad the
121. If b is different from zero, a definition of which has just it can be shown that
~'~UV'~~J~
(:'_V)
-v
number furnishes the definition for the quotient - • The elementary operations between a number b given by a tunda-
equals a, bl equals a.
Then come definitions of equality, greater than and less than numbers b and bl (of which bl can also or b /' b I or b
<b
,:1 :'i
:1'
f,
zero or less than zero. After these preliminaties it turns out as a first rigorously .. emonstrable theorem, that, if b is a definite number determined by a fundad .mental series (By)
jI
absolute value than every imaginable rational number, or what is the same thing, -,that: Lim 'f -=
a.v
0i:I
~b
Care must be taken on this cardinal point (Cardinalpunct), \\hose meaning might be easily overlooked: in the third definition the number b is not defined as
the limit of the terms ay of a fundamentru..series (ay); since this VIOuld be a logical error similar to the one discussed for the first definition and indeed it is an error for the reason that the existence of the lL~t
.
L.~Clf
Y=fP
would be
presumed (pr~sumirt); the situation is rather the reverse, that through our previous definitions the concept b has been thought of with such properties and relationships to the rational numbers, that out of it the conclusion can I
" .. cP
hope to be pardoned the emphasis which I place on the following warning, that most persons pass over this seemingly smull detail and consequently land in perplexity and contradictions in relation to the irrational from which by fully observing this warning they might have spared themselves; they vrould then
122.
cl8a~ly seen that the irrational the definitions rational attains numberthrough the properties given in just as definite
tor
its
but rather on the contrary through possession of it and evidence of limiting processes in
generalS} ; for the theorem just stated can nowbe easily extended as follows:
or irrational
~i~oo(bv+J'-
by)
.0,
(Whatever
Jl
=
may
determined by atundamental
series (By),
,",'M b;
'i ;: 00
b.
numbers b, which are defined by them fundamental series of the of ~, are ,also representable in
It also happens that the ~ fundamental series of this kind (av) (l.call ~ order) such that they appear as limits of ways as limits of series order
a variety
(cf;1 ),
I accordingly call
r=
=0
the second order. Simila~ order may be constructed, fundamental series of the third, fourth •••••••••• nth
ex.
is any number
chosen from tQe second number-class. All these fundamental series achieve for the determination of a real number b exactly that which is achieved by fundamental series of the first order and the difference lies only in the more complicated, more extenNevertheless it seems to me to fix this
dis-
in a Y~y similar to that adopted by me in another place (Math. Ann. I accordingly make use of the expression: the numerical
Vol. V, p. 123)..
quantity b is given by a fundamental series of the nth or even the {)(- order.
.tf ;~:'
123.
It this
thereby an extraordinarily
gible phrase with mich to describe in the simplest.and JDlst succinct way the mass (FUne) of many-formed and orten complicated webs of analysis,
and
I oppose the doubt expressed by Herr Dedeldnd in the introducNumbers"against these dismotive of introducing new
,', !
I
I
tion to his paper "Continuity and Irrational tinctions; I was not actuated by an ulterior
!.
,
1 J
>;
I wish at this point to call attention that through these fundamen~al series and second number-classes, series in the ordinary
sense, either
are completely exhausted, in the sense that fundamental series . numbers are numbers of the third rigorously prove at some tuture number-class do not exist,
as I shall
time.
the usefulness
(~v)
rv
b.
with the general
Suppose, for exampleI we have a convergent series term cv' then the necessary and sufficient
'(,.CO
kim (<:1+,"'C""'l
c:P
+....
't'
u..
Accordingly the
L. en n.o
o::t
rv (~ Ctl).
"-0
124.
for example, all Cv are defined on the basis of fundamental aeries of the order J a similar relation holds for
t\s::O
2 C..
CIO
d>
It-., C.,
is de-
-:r
rr
J-'
r: . /. )
(T
).2m+4
.2,11\1'1
rv ( Q¥
we have
hsO
J.n ..., :Q v .
(-0"
sin
order, and through that relationship the equality of the rational number 1 and the number ,sin' is given!, S~larly the meaning of more complicated formulas as for instance
expre Baed by a fundamental series of the second order,
f (f -)
Sill
(f)
""(i!-,r (Z:.,)!
( T) JoWl
+1
),
those in the theor,y of theta-functions can be precisely and relatively simply described" - whereas the reduction of infinite series to those comprised solely of rational-terma with like signs and converging unconditionally, is bound up with the greatest deviousness, which can be avoided, however, by using the'~definition rather than the first,
SO
tion of numerical approximation of infinite sums by rational numbers but one of finding an entirely sharp definition. The ~ definition certainly seems
not to be a useful one with which to define precisely the sums of infinite series which do not converge non-conditionally and in which the order of the terms, positive and negative, is definitely given. Even for non-conditionally
convergent series the determination of the sum even if it is independent of the order of the terms, is only actually possible for some definite order; for such cases, also, one is tempted to prefer the ~ definition to the first.
125 ..
Which the commutative law of addition holds the first definition, however, except for the cases here pointed out, is entirely adequate ..
[572] The concept of the "continuum" has not only everywhere played animpottant role in the development of the sciences but has always evoked This
lies perhaps in the tact that the basic idea of this phenomenon has taken on
different content for the various combatants, perhaps because a precise cOmPl$\~ definition
and
ot
and thts seems the most probable, the idea had not been thought out by the Greeks whornay have been the first to give attention to it, with the clarity and completeness which would have been necessary to preclude the possibUity. , . of the various opinions of their successors. We see, then, that Leucippus,
I'
De~~citus and Aristotle regarded the continuum as a Compositum, consisting of "partdbue sine fine divisibilibus" but that Epicurus and Lucretius thought of it as constituted of finite things, atoms, out of which grew a great quarrel among the philosophers of whom some followed Aristotle, others Epicurus·; others J remaining aloof from the quarrel claimed With Thomas Aquinas 9) , that the continuum consisted neither of infinitely many nor of a finite number of parts) but of !:2 parts; this last opinion seems to contain less an explanation of the situation than a tacit recognition of the fact that one had not got tQ the
;1
bottom of the matter and that one had better withdraw with dignity from the
:
"
126.
Here we see the origin of the medieval-scholastic
,.1'1&1 ..... ""
point of view, of
an irreducible concept or, as others express it, a pure a priori intuition which is scarc~ly determinable by concepts; evcr.i arithmetical attempt at determination of this ~stery is regarded as a forbidden venture and rejected
with appropriate vigor; timid souls gain the impression that for the IIcontinuumll it is not a question of a mathematically logical concept, hut rather a question of rel~&ious dosma. It· is far from ~ purpose to conjure up anew these controversial
questdons , and, in any case, the narrow frame of my present WJrk offers too
little spa~efor
a detailed discussion of them; I feel merely obliged to devethe continuum with the calm logic (logisch-nuchtern) which 1
If
... i
I. Ii II,
l'
/.
n~ed and make Use of in the theory of manifolds, briefly and with consideration for the ma~pematical theory of sets.
an easy
i.
should gladly appeal there is not a single one who has studied the continuum in the precise Way Which I here find necessary.
By
assuming as
quantities (or~ t~ employ what I believe is a better expression, sets of continuous quantitie~ -- continuirlicher GrOssenmengen --) there has been con-
structed in what seems the best way the concept of a single-valued or manyvalued continuum dependent upon them, that is, the concept of function extended in a variety of directions, and it is in this ~er that the theory
of the so-called analry~c functions arose as well as that of even more general functions with highly remarkable properties (non-differentiability and the
like); but the independent continuum has been assumed by mathematical writers only in its simplest fonn and no more thorough investigations have been attempted.
the conoept
planation of the muchmore basic and more general concept of the continuum is not the proper procedurej time is in lI\Y opinion an idea (Vorstellung) clear explication "~4uires the concept of continuity whose
even with whose aid it (time) cannot be determined either stlbstance or subjectively as the form of an a priori
intution;
it (time) is (H&fs-und
natu~e and perceived by us are expressible. absolute "t~e' riever occurs in nature therefore
mea"Bli.re
6£-Inot.ionbut rather
this latter
bas been plenty "of occasions since Kant when this has been attempted. In the same way it is my conviction that one can not begin
"dth the so-called
ledge of the continuum, since space and the structure only attain
attributed
meaning necessary 'for it to become an object not merely of aestbetic tion or philosphic scrutiny
mathematical investigation. There is therefore nothing left for me to do, except, with
help of the concept of real number as developed in § 9, to try to find a concept of point-continuum, purely arithmetical and as general as possible. I space
now make fundamental use [574] of the l'loo<iimens1.Qnal. plane arithmetical Gnt that is, the" assemblage (:in thought) of all
( XI
I Xtl.. .. I X n),
systems of values:
128.
in 'Whioh overy x is kept independent of the other all real values from - 00
to + ~
arithmetical
" .,'
The distance between two such points may be defined by the ex-
+ Y(x:"
X,)1.
X~
rt
" I,~I
-t .
il\
!:;
il
! ;
:,.,
II~':'.
:1'; ,
i, l
,eoter
a sh~p
and at the same time most general definition possible of the eon-
l:' :
dit10n~ under which P is to be called a continuum.. ,I proved in Borchardt's Journal, Vol. ?4, p. 242, that all
,~paCEl$ GIl' however great .the so-called dimension number n rNlybe
J
have the
sam~ power:
.',
and Ore therefore of equal power with the linear continuum as well The problem
'
qf .,,'
~v~;t.i8a't~
"
'\
and,
~.~. ..
to
the interval (0••••••• ,1) .and I hope .to be able ' ..... ~
'.
-
soon by. a r~goro~~ proof* to show that the power sought is no other than that " ~ .of our second ~finite number-class (II). Then will follow that all of the
infinite point~sets hav~ either the. power of the fir~t nUlIiber-class(I) or that of the second number-class (II)~ The further conclusion can be drawn
that the totality of 0.+1 functions of one or several, variables which are representable
by
a prescribed infinite series, in however many different ways, (II) and is therefore
'
10)
• This
;,1
,'I
theorem can also be extended, for example, to the assemblage of all lIanalyticll
""'!
*Translator's Note: C;;:,ntorever' succeeded' in doing this and the problem still n romains unsolved.
129.
fuQctions~
i.~~f o
functions arising
continuation
of conve~
series.
In order now to examine more closely the general concept of a contiI?-uum lying inside G I recall n given point-set the concept of the deriva.tive P (ll developed in D\V Wl'itings: of any
P J as it
was
first
V, then extended
pC,)
[575]
Where
t.· is
first
etc.
Point-sets
power of their
derivative
pCI}
out as I have alr~ady stated in § 3 of this paper_that there exists teger 0( of t~e first But it p(tJ
be separated
h~$'
tne power of the second nutobe:r-class (II) then pC"~ can always
R +S
different propertiest
tegcr
a first in-
of the number-claas
R(f.) == 0 ;
such ppint-sets R I call reducible. S is of such a nature that continued differentiation produces
But
no change, in that:
, I ;.:,
and accordingly
s=s'rJ)
We can now say: If p~J is of the power
the~ p('J can be separated into a definite
'Ii',
,
illI
',I
,.
at
perfect point-set.
"reduciblell
is not the same as perfect nor is imperfect precisely ,as one with a little care may see. point-sets
The mrfect
inner structure
always that which I have called in Il\V previous works, mentioned above, lIeverywhere-dense" )1) (~berall dicht); they consequently are in themselves not adeof a point-continuum, even if one J'I!lstgrant at .) must always be perfect sets.
(point-contima
combinedwith the
(zusammenhlngenden)point-set
T.
if, for every two of its points,
small. £
ttl'
tlt2'
finite of
t2' •••••••••
tv
of T, appearing in a variety
E•
All the geometric podnb-contdnua, knownto us fall, as is easily I believe that in these ~
"perfect!! and IIconnected" I have found the necessary and sufficient (Merkmale) of a point-continuum and define accordingly the nPerfect" and "con-
characteristics
point-continnum inside Gn as a FE:rfect-connected set. 12) nect.ed" are not merely words but are predicates most sharply by the preceding definitions. The Balzano definition tainly incorrectj
it expresses in a one-sided fashion just one property of for sets which can. be formed from Gn by point-set (vid. Math. Ann. Vol. XXI,
(isolirte)
131.
p. 51) as removed; also for sets Whichconsist of several separated continua,' obviously such cases are not cont1nPre;. although for Bolsano they w>u1dbe. We see here a violation of the theorem: 'lad ossentiam alieujus rei pertinet tollitur;
id" quo dato res necessario ponitur et quo sublato res necessario vel id,
aU. quo res et vice versa quod sine re nee esse nec concipi potest,!! Equally so, in the writings of Herr Dedekind (Continuity and
Irrational
been emphasized in a one-sided way~that property, namely, which it has in com.on with ~ all nperfectllsets. ~ .
§ ll ..
Wenow proceed to showhow one is lead to the definitions of,the new numbers and howthe natural succession of integers, this explication partitions of the absolutely unending For
I shall make use only of previously mentioned theorems on relation to the first. The series (I) has
of generation in the repented setting-down (Setzung) of fundamental and their finite urrlonj the number v is aooord.ingly number (Anzahl) of such successunii.;
'I i, I,
I ~
unities
the expression not only tor a definite ive settings-down ties into a whole.
(setzungen), but also tor the union of the established The formation of the finite real integers
I
I
the principle
of adjoining a unity to an already present number; I call this which, as we shall soon see, plays,an essential
principle
of
number of cless
132.
in thinking
Dl·...i:lg."uu '
of a. new number Which we shall ca11* 6J and Which will be the natural,
for the idea that the "entire assemblage (I) is given in its
succession.
(Just as v is an expression for the idea that a certain is united to form a Whole). It is accordingly
to think of the newly created number CrJ as the limit to mich num(iJ
is the ~
W,
VJ
!!!:!!:.
princi!
- - - , (' ..)-1-
!!
no grea.test number is reached we then think of a new number which we can 2 tiJ and which shall be the first to succeed all of the al ready imagined principle of genera.tlonto
number 26J
+ ~ ... " .
'!'he logioal
function (logische Funktion) which has produced ..he t different from the first principle of genera-
of generation. is.
which is to be thought of as
of both principles
of generation,
one
obtains successively
*Cantor's Note: The symbol CP WhichI used in Number2 of this series of articles (Vol. XVII> p. 357) is hereby replaced from nowon by GV • since the sign ~ has been frequently used as a symbol of indefinite infinities.
3w~ .3w
-~-----.,,----
+l~ - - - _.._,
36> ~YI ~
rw
...
--+
.....
v. - ~.
-.
---
=rr:'
~
no number is the greatest. The second ,princiPle of generation per,mits us then to intro,d_,~suco~ssor
to all the numbers
f-W ...Y
succeed:
I I
I
6J
,to
I,
. I
Aw~ T}'-W'"
JA.}4.'"
YJ
and one clea~ly reaches~ by applying the two principles of generation, numbers ~,
~-
"
vow
_ _ __
+ Y u -, r: I
,I
V ....JA" .
I!;
but ~
are forced now b,y the second principle of generation to set up a new. B:ll these and itlich we can appro-
number which will. be the next greater after priately denote as:
•
~
,
of constructing is endless
no
end-
in a certain
sense actually
existed
numbers of class (I); there use was made only of the first principle of generation and any emergence from class (I) accordingly impossible. The second number region
principle
principle
134.
of generation gives us the possibility
of bre~
formation of the concept of real integers. If we observe that the earlier follow, fulfill nwnbers and those '¥bich imnediately if it is imposed as a restricthird
a certain
condition,
this condition,
i
;
;I
tion will not only attain a higher power than that of class (I), but indeed the next higher or second power. The suggested condition, so far defined, fulfills, as is easily which everyone of the infinite seen, is numbers
-
,,
I!
ill
··i'
I
'j'
V, W,...·f
T •• _ •
+"r.'
VJ ...
Vr )
where
fA I Yo) Vtr-·-;Vr
= - ..- - - . - - - =
V]A ::: O.
Since, further,
first
·'1
.";:
'I
it is clear that by the extension of our sequence of reached as have the same power of (I),
so that the suggested condition is in fact fulfilled. Wetherefore define the second number-class (II) as the assemblago of generation, and
of all numbers fonned by the aid of the two principles UdVo.nc~ / in a ~inite ordered succession: G),W+I,----}v'oW 14
t-'l.(J
ex.
_J-4.-'
+----+Y/A--I
~J
(.J
t'vfJ---'W
~I
tAl t----!
Cl(
-_
j !' ;.
Ii_I
135.
upon. Which the condition lon,
"a
of
0<.
,~
number-class' (I).
numbers of the
in
regarding the nwnbers as a:ranged in. a simple sequence(o<v) ), then either one of the .set is greatest, a definit~ set number say ~ , or, if there is no greatest, there exists
(?>
of the second number-class (II) not a memberof the is greater than all but that every integer
oc, ,
such that'~
(3' <. ~
·c/l.c,:>-",,/
VP"'l?"""'- . "..........,(.
I
rr>.
I'
of the set
(0<") ."
The proof of this theorem is simply the following: let O(K~ be than number appearing in the series
, respectively,
can appropriately
'JY"""'--
bc'v,,{
(<xv)
,which
, etc.
is
greater
ex,
the first
which is greater
1<.
0(
I
KJ.
<
than o{K,t
KJ
0(
1<1
..
and
(Xv
<
0( #<.). }
as soon as
V< KA'
Nowit can happen, that from a certain terms in the series number D<Kf
r" 0(,<) •
."
from lon,
all -
integers, which ~
and
ex K l
two numberpower and
part of the successive numbers of our first this set of numbers is obviously of the ~ (from the definition
. there exists
accordingly
fore
~>O(K.>..
and also:
~>.Q(v
than a preassigned v ~d
O(v
<~
< O(K}Io
numbers C(Kv
- - • _) oC. Y
I__
___
has a greatest
tem
or
a certain
number
(3
from (II) by Which all the terms <:Xy case the number
r'",
will
can not appear among the terms 0( V , in the second case the
(C(~) ;
identical,
(O(v)
are
the number-class
of the number-class
(I).
(I) and (II), the the immediate successor
of the first,
between these two powers, definitely follows from a theorem which I shall
,1',',-,"-"
.'jJ:;'!,"
j ~; :'
'1"'1
II
, ~~ ,iii'
1.37. [581]
If we now look back
:~ i, 'I:'
',!/',"
1::
.'
!
,:
only to an extension of the concept of real integers but also to the concept
1
:,,1,
sets" differing from the first power" we see that emerged as distinct principles.
i '~'
II"
!I
i,,\" 1
They were the two previously defined principles of generation and besides these a restricting or limiting principle ~ich consisted in the requirement that a
new number could be created with help of one of the principles of generation only when the totality of all the preceding numbers had the power of a defined number-class \'bieh already existed and was complete in its entire range.
In
this way, taking due regard to these three principles, one arrived with .-ery great ease and evidence (Evidenz) at ever new number-classes and one attained all the various, successive" ascending powers appearing in the worl.d of body
Or mind.. The new numbers acquired in this way were throughout of the same
concrete determinacy and objective reality as the earlier ones; I saw no reason
why
became evident that for the advancement of the "sciences the introduction of new number-classes indispensable from the infinity of possible ones, bec~ desirable or even
follow each other directly. so that no other powers lie between. If out of the assemblage (II), one selects according to any
,that
I)
il·'
which
numbers of the set (,,() there is always a ~.II if one has a succession of numbers of the which continually diminish in size so that
!lIn particular
assemblage
(II):
ex, ) 0\ 2 J --
,CX{3 •• "",
0(" >'\",91
if (3' >(3 ~
one. 11
138.
then this series necessarily breaks off with a finite the numbers; the series in-
.dex*' (Gliederzahl)
at
cannot
be an infinite
It is remarkable that this when the numbers case of infinite which easily
0( ~
theorem ~ich
follows immediately
are finite
integers,
numbers
o(p
.'
Actually according to the preceding theorem of the number-class (II) [582] there is"
>
a least;
O(~""
if this,
for instance"
o<~
, it is seen that,
series
o(~
, the series
of eX2.ctly
O<v
Wenow have the following fundamental theorem: "If three cases arise: finite
(d..
I )
either
Oe J
iri the
.
assemblage (II)"
.
~s a finite
consists
of a class,
(0<.1)
be the first
I
n~
number-class (III);
then all
of the set
(0<')
smaller than
If now we think of the numbers 0(1 ordered according to size; with r:;I..", as the smallest,O(W+1 the n~ set larger where ~ etc.,
lot)
in
O<f3 '
from Won;
I
obviously
(3
<n
then also
(.3 <.0 .
of the 0<.
in the series
139.
cannot th.erefore adYance beyond the number-class (II), region; three easea can then arise: number of the series either but remains m.thin this
(3
l'
in Which caee(o..')
finite
set; or ~
assumes
(<Xl)
power; or,
(3
runs is,
(o<~).~ that
(0(') ,
As :imIntediate consequence of the theorem just proven, we have the folloWing: lilt there is given any well-defined class set M of the power of the numberthen the assemblage series, or it
is
that a one-to-one,
reciprocal
M
,
Iii
Ii:
I i I .
Mtl
remar-kabl.e and I expressly emphaaize the fact that this theorem has general:: validity, whatever power the set 11mnyhave. in a later I shall comeback to this point interest Which
in more detail
is associated
iiil;
,
,
i ~;ii
:J'
140.
second number-class and some possible operations with them limi.ing self for the present, however, to ~diate
mw-
since I
for later
the associative
but that in general the commutative law does for the numbers of the second number-class. holds in general only in the following fonn:
!l2!:.;
this
As to the distributive
:0( ~ of'
(3,
(3
..
as is seen directly
and intuitively.
"
i
If 0( and ~ are
Subtraction
any two integers .. 0(
O(+s
=(?
(II) ..
S ..where, if 0(
and :(3
are numbers of
f3
-0(
S~O(:(3
it turns out that this can often not be solved at all for is seen in the equation:
,as,
for example,
I I
I
I'I.
,
-rW
=w+'.
Even in those case s for which the equation: solvable of l: this for
t;
S + 0<. = (3
is of value~ For
by an infinity
",
least
S-rcX (31
S
I';,
j.!
,.l
I.:
141.
':j'j
is at all
is in general different
fromp-o< ,
vtlich latter
Iill il
i
I' !p
<
\3 •
~fJ further, the following equation holds for three integers
!I
:·1
(where
! is
0<. .
~
the multiplier),
~:SO<
one easily
than
5 :~ and this
is indicated
.(3 ~ 0( 5
(where ~
is the multiplicand),
ex
S ,.
a solution
at all, we shall.designate
_@.
0<
ex J
9i
0'
kind. ~
"t.)
+ '.1
+ W +.2,. fA)
1"
:3
of the first
Prime numbers of the second number-class which I have defined in g 1, correspondingly first kind. Prime numbers of the second kind are in the order of their appearance amongthe numbers of the second number-class (II), the following: fall into two classes~ primes of the second and of the
GJ) lJJ
w
I
(,J
a
J
(.0
W'
I
1"
only.2!!! prime number GJ of the second kind exists; one must not conclude, . . however from this relatively sparse distribution of primes of the second kind, that the assemblage of all of them has a lower power than the number-class (II) itself; it'turns out that this assemblage has the same power as (II). kind are:
r
[585]
GJ
2. + I, (,.) + r t
).t
IJ
<p
the totality
has also the power (II). The primes of the second kind have a property Which gives them
an entirely
speci~zed
character:
tl '
if
0<
and ~
If we restrict
number-class,
and multiplication
., = \'0 (,.) .. V, W
...h
Let
JA
f.-I
}.-'
... - • - - - -
_+
«L
't'
Where we assume that
Yr
}
:=:
<?
Vo and
f"
OJ
~I
oJ
are different
ADDITION
1) If
.fA <
A,
2) If'ft
"> A
pi-t~t·
,we
have:
...(
we have:
<P
+- ~
\1,
I
Vo w}'\ ____ + Y
r -~ -,
(,.J
"4'1)
V~ -).. +~"
-r ~, W
}t.~1
+ 2.. W
).-.2.
+ - - . - 1"
f" .
143.
3) For)A::
f+
iT cVoW
In case
"\.i,
A. ,
we have:
A
T -:(Yo-t-f4»GJ
+flW
,\ .. ,
-+---·+f.A·
-'-I
MULTIPLICATION
~,If
1) It' V". differs from zero we have: tA+)' 14+>--1 )'''' A· +'1,W .... -- +Vt'-,W -tYrrow "'fafIJ
1- ---
A·o
oi-f'" Vr,)o •
.
'f T ': Va W
The factoring
1,.I,
2) It'
J4~).
V,.. = 0 ,
..)..,
we have:
w
+- v,(iJ"" .... - -
of a number
'Y'tt -l W
'" 1
",.1
:l
'f
is as follows :
given
C,ttv
+ -- -- ... CeriA)
!4 f;
:Co(GJJA-J4~
numbers different
C~_, (6).4I..G.'·~:I) C6
prime factors
WJA.6 ;
according to then we have a
if the Co C,) - - - Cfi_, are factored J the rules for such factoring of
into their
completed factoring
if one
(iJ
or
tv
As for a
generalization
(II)
opportunity.
144. [587]
APPENDIX
.To § 1 1) Theo;:,,?f ma,a\fo1ds (Jlannichfaltigkeitslehre).
By this
..
phrase I mean a very comprehensive concept which up to now I ha~e attempted to investigate Qf sets. only in the special form of an arithmetic or geometric theory {jedes
every
multiplicity
every asse~
blage of determinate elements which can be united into a whole by somelaw and I believe that I have accordingly defined something Which is related the flatonic logue"Philebus the to
'1 )
e' &os
~ that
He opposes this to
/;.7filfOV
infinite,
as well as to the
tr2fOl S ~ that
Plato himself polnts out; compare A. Boeckh, Teachings of Philolaos 1819,. To 2) Aristotle,
61.4
of Zeller in his great Second Part Second is
Comparethe presentation
work:
First
Also I find certain points of contact with my ideas Compare: P. Zimmennann,Cardinal d. Wiener
of Leibnitz (Sitzungsberichte
to Giordano Bruno
difference
145. conceptually once and for all the various steps (Abstuiungen) of the ideal-
l
I
but to study them and point out their appearance in There is no doubt in Jl6T mind but that in this
~way we mount ever higher, never arriving at any impassible barrier but at the
The
Absolute can only be recognized (anerkannt), never known (erkannt), not even For, as-inside the first numbe~class (1) for any finite number,
follows every super-finite number, however large, another assemblage of numbers of the higher number-classes (II) or (III) etc. which has lost nothing in power
in respect to that totality of numbers beginning w.t th unity and continuing in an absolutely
infinite succession.
Albrecht yon Haller said of eternity, [SSa) "I subtract it (the enormous number) and thou (eternity) liest yet before mell• numbers The absolutely infinite sequenoe of
seems in a certain sense to be·an appropriate symbol of the Absolute; (I), which up to now has alone served
that purpose (symbolizing the Absolute), since I held it as a conceivable idea (~ not Vorstellung), now becomes an utterly vanishing nothing (Nichts) in It seems remarkable to ~ that each of the number-
classes, therefore each of the powers, corresponds to a completely determined number of the absolutely infinite assemblage also to every superfinite number the
\(tA
that
'f
; the
V&r10US
powers therefore/an
form
(
called This
is the more remarkable since the number (in case the number that number-class
which has this power, in a relationship of size whose minutethis the more the larger ( is taken.
146.
To § 5 .3) cieterminari possunt. I can not ascribe
in whatever
..
(Anschauungen-imaginationes),
adequate
II
in the theorem
"infinitwn
actu non datur" were meant, I could subscribe to it, although it The meaning of this theorem in the sources disof a con-
c~ssed seems rather to be that there is expressed the impossibility ceptual determination theorem as false.
To
4) Realists.
The positivist
1965, pp, 109-135 and in von Kirchmanil, Catechism of philosophy Also compare Ueberwegf s Remarks on Berkeley, Abhondlungen menschlichen Erkenntniss in von Kirchmann's philosophical
.
library.
I can only
of the ideal-infinite
I am in essential agree-
ment with all these authors; the point of difference lies only in the fact that for them this syncategorematic infinite is regarded as the only infinite attaina-
ble by "tl\ckingsll (Wendungen) or concepts and here especially only through re,. lational concepts. The proofs of Duhring against the actual-infinite could be demonstrated with fewer words and seems to run in either the direction of saying
that a definite finite number, however large one may think of it as being, can never be an infinite ono, vmich follows directly from its concept, or in the direction of sa.ying thnt the variable ..unlimited, large finite number can hot be
thought of as associated with the predicate determinate and therefore not with the predicate ity. of being, which again follows directly from the nature of varlabil-
That in this not the lea.st argument is ndvanced against the conceptual
147.
possibility of definite superfinite numbers is not to be doubted, and yet these proofs are held to be proofs against the reality of superfinit~ numbers. This
way of arguing is similar to the one in which it is said that since there are countless many intensities of green, one concludes (589) that there can be no red. It is certainly remarkable that nUhring on pagel26 of his Work himself
admits that for the explanation of "the possibility of unlimited synthesis" a basis must exist which he calls I1fully unknowable in a conceptual wayll (,rbegreiflicher Weise v;Uig tradiction. Equally so we find those thinkers who are close to idealism or who even pay full homage to it, denying any justification for definite-infinite numbers. Chr. S'igwart in his outstanding work: Die Methodenlehre Logic
I
unbekarmt,"},
Second. Volume
Also the
to the valuable work of K. Fischer~ System der logik und Metaphysik oder Wissenschaftslehre, Second Edition (Heidelberg 1865) page 275. To § 8
5) What I here call intrasubjective
cepts or ideas may be designated as lIadequatell using the word in the sense of Spinoza when he says (Ethics, Part II, Definition IV): "Per ideam adaequatam
intelligo ideam, quae, quatenus in se sine relatione ad objectum consideratur, omnes verae ideae proprietates sive denominationes intrinsecas habetl1.
6) This conviction is in essential agreement not only with the
Platonic system, but also with a fundamental trend of Spinoza1s system; in the first relationship I recommend Zeller, Philosophy of the Greeks, Third Edition,
l4S.
Second Part, First Abtheilung pp. 541-602. the section: He says at the very beg1nningof
ideas (Vorstellungen) -- this assumption Plato shares with others (Parmenides)-just so much does renlity come to their objects, and c·onversely. What can be known, ii, what can't be known, is not" and in the same measure as anything is, it is lmowa.ble". As for Spinoza I need only remind you of this passage in the Ethics, Part II, prop. VII: rerum". Also in the Philosophy of Leibnitz the same epistemological principle may be seen. "ordo et connexio idearum idem est ac ordo et connexio
well as the Knntian criticism which accompanied it, has one begun to believe that the source of knowledge and certainty (Gewissheit) is to be found in mind (Sinne) or in the so-called pure fo~ of intuition in the world of ideas (Vorstellungs-
welt) and must be limited to these; in D\Y opinion these elements completely fail to afford any such certo.in knowledge since the latter can only be attained by concepts and ideas, and, although stimulated to a high degree by external experienoe in the main is formed through inner induotion and deduction into a some-
thing, which in some way was already there and was nerely aroused and brought .into consciousness. ~ § 87, and 98 The procedure for the correct construction of concepts is in my opinion [590J everywhere the same; one sets up a thing (Ding) having no properties, which at first is nothing more than a name or sign A and gives this according to some law, different and even an infinite number of predicates, Whose
meaning is known through ideas already existent which may not contradict one another; in this way the relations of A to concepts already existent is determined; if the process is complete, then all the conditions for awakening the con-
149.
cept A (zur Weckung des Begriffes and it emerges into being (Dasein)
is all that
reaiity,
which
meaning
is
generd.a, chapters
21P.
that
of
aU· integrable
tl1~ asscmbl.llge of
this
junctions of one
or a! several variables
11) The th~orem'can be proven of perfect sets that they can . never have the power of (I). As an example of n perfect
in no interval whatever, however Small, point-set
3v
....', ..
where the coefficients Cv may be assigned either the volues 0 or 2 and the series as well as an infinite number of terms.
from every reference to th~t which is called the dimension of a continualso such continu;. as are solids,
ns lines, surfaces,
orderly f~shion from this general continuum to the specinl continu~ with definite
150.
dimension.
I
knoW
only ~
had a .precise
'me&rt1hg;
by others as too .__. I trust tha.t I have succee,ded in fiilcl1ng a . proper mean broad; .
..........
.between the two. In lfW definition, by a continuum is meant only a perfect and
. .
connected manifold.
According
segment
ary is excluded, are not completed oontinuua; I call such point-sets tinuua..
In general I understand
semi~con-
nected point-set
at ..which arises
from
The deriv~tive ot
in which case it is of no importance
second power. If a oonnected point-set either is' of the first power it can be called
have set at the head of the theory all the manifolds of algebraic
sality and sharpness of the results can not be surpassed by other methods,