irgendwie (auch eventuell mit Auslassungen) zusammengesetzt ist. Solchen Fall werden wir nachher ebenfalls berücksichtigen.
Dann stellt uns also a0 ; b wiederum die ganze Zahlenreihe vor.
Endlich bedeute nun das Relativ c die Gesamtheit, das "System" der Zahlen, die eine bestimmte Eigenschaft E besitzen, m. a. W. für die ein bestimmter Satz S, in welchem von einer unbestimmten Zahl n die Rede ist, gilt.
Um nachzuweisen, dass der Satz S für alle Zahlen gelte, dass nämlich a0 ; bc sei, genügt es dann nach D 59, zu zeigen:
erstens dass der Satz für die Zahl b = 1 gilt, dass also bc sei,
zweitens dass auch für das Bild a von jeder Zahl (n) für die unser Satz S gilt -- welche Zahlen eben in dem Ausdrucke (a0) ; b)c zu- sammengefasst erscheinen -- dieser Satz gelten müsse, d. h. also, dass auch a ; (a0 ; b)cc sein müsse. Gemeinhin zu reden wird damit zu zeigen gewesen sein, dass, sobald der Satz für eine bestimmte Zahl n gilt, er auch für die nächst höhere Zahl n + 1 gelten müsse.
Stellt uns dagegen -- noch allgemeiner -- b eine bestimmte Zahl m vor, oder auch irgend ein System von Zahlen, welches als die niederste die Zahl m in sich schliesst, so wird a0 ; b die Gesamtheit der Zahlen von m an vorstellen.
Um zu beweisen, dass ein Satz S für alle Zahlen dieser Reihe m, m + 1, m + 2, ... in infinitum gelte, muss es dann genügen, "erstens" zu zeigen, dass er für die Zahlen des Systems b gelte, ja ist es blos erforderlich, seine Geltung für die Zahl (b =)m selbst darzuthun, und "zweitens" etc. (Wortlaut wie vorhin). [Für die Zahlen unterhalb m braucht der Satz dann überhaupt nicht zu gelten.]
Hiermit dürfte denn die als D 60 von Herrn Dedekind gegebne Erläuterung über die Bedeutung und Tragweite des Satzes D 59 bei- gebracht sein. Rekapituliren wir nochmals thunlichst mit den Worten des genannten Autors: D 60. Um zu beweisen, dass alle Elemente der Kette a0 ; b eine gewisse Eigenschaft E besitzen, genügt es zu zeigen,
erstens dass alle Elemente von b die Eigenschaft E besitzen,
zweitens dass dem Bilde a ; n jedes solchen Elements n "von a0 ; b", welches die EigenschaftEbesitzt, dieselbe Eigenschaft zukommt.
Unter c brauchte man hiebei blos das System aller Elemente, welche diese Eigenschaft E besitzen, zu verstehen, um D 60 als die verbale Übersetzung der Formel D 59 zu erkennen.
Hiezu jedoch dürfte noch eine Bemerkung nicht überflüssig er- scheinen, welche durch die Vergleichung von D 59 mit D 47 nahe gelegt wird.
Schröder, Algebra der Relative. 24
§ 23. Zum Satz der vollständigen Induktion.
irgendwie (auch eventuell mit Auslassungen) zusammengesetzt ist. Solchen Fall werden wir nachher ebenfalls berücksichtigen.
Dann stellt uns also a0 ; b wiederum die ganze Zahlenreihe vor.
Endlich bedeute nun das Relativ c die Gesamtheit, das „System“ der Zahlen, die eine bestimmte Eigenschaft E besitzen, m. a. W. für die ein bestimmter Satz S, in welchem von einer unbestimmten Zahl n die Rede ist, gilt.
Um nachzuweisen, dass der Satz S für alle Zahlen gelte, dass nämlich a0 ; b ⋹ c sei, genügt es dann nach D 59, zu zeigen:
erstens dass der Satz für die Zahl b = 1̇ gilt, dass also b ⋹ c sei,
zweitens dass auch für das Bild a von jeder Zahl (n) für die unser Satz S gilt — welche Zahlen eben in dem Ausdrucke (a0) ; b)c zu- sammengefasst erscheinen — dieser Satz gelten müsse, d. h. also, dass auch a ; (a0 ; b)c ⋹ c sein müsse. Gemeinhin zu reden wird damit zu zeigen gewesen sein, dass, sobald der Satz für eine bestimmte Zahl n gilt, er auch für die nächst höhere Zahl n + 1̇ gelten müsse.
Stellt uns dagegen — noch allgemeiner — b eine bestimmte Zahl m vor, oder auch irgend ein System von Zahlen, welches als die niederste die Zahl m in sich schliesst, so wird a0 ; b die Gesamtheit der Zahlen von m an vorstellen.
Um zu beweisen, dass ein Satz S für alle Zahlen dieser Reihe m, m + 1̇, m + 2, … in infinitum gelte, muss es dann genügen, „erstens“ zu zeigen, dass er für die Zahlen des Systems b gelte, ja ist es blos erforderlich, seine Geltung für die Zahl (b =)m selbst darzuthun, und „zweitens“ etc. (Wortlaut wie vorhin). [Für die Zahlen unterhalb m braucht der Satz dann überhaupt nicht zu gelten.]
Hiermit dürfte denn die als D 60 von Herrn Dedekind gegebne Erläuterung über die Bedeutung und Tragweite des Satzes D 59 bei- gebracht sein. Rekapituliren wir nochmals thunlichst mit den Worten des genannten Autors: D 60. Um zu beweisen, dass alle Elemente der Kette a0 ; b eine gewisse Eigenschaft E besitzen, genügt es zu zeigen,
erstens dass alle Elemente von b die Eigenschaft E besitzen,
zweitens dass dem Bilde a ; n jedes solchen Elements n „von a0 ; b“, welches die EigenschaftEbesitzt, dieselbe Eigenschaft zukommt.
Unter c brauchte man hiebei blos das System aller Elemente, welche diese Eigenschaft E besitzen, zu verstehen, um D 60 als die verbale Übersetzung der Formel D 59 zu erkennen.
Hiezu jedoch dürfte noch eine Bemerkung nicht überflüssig er- scheinen, welche durch die Vergleichung von D 59 mit D 47 nahe gelegt wird.
Schröder, Algebra der Relative. 24
<TEI><text><body><divn="1"><divn="2"><p><pbfacs="#f0383"n="369"/><fwplace="top"type="header">§ 23. Zum Satz der vollständigen Induktion.</fw><lb/>
irgendwie (auch eventuell mit Auslassungen) zusammengesetzt ist. Solchen<lb/>
Fall werden wir nachher ebenfalls berücksichtigen.</p><lb/><p>Dann stellt uns also <hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">b</hi> wiederum die ganze Zahlenreihe vor.</p><lb/><p>Endlich bedeute nun das Relativ <hirendition="#i">c</hi> die Gesamtheit, das „System“<lb/>
der Zahlen, die eine bestimmte Eigenschaft <hirendition="#fr">E</hi> besitzen, m. a. W. für<lb/>
die ein bestimmter Satz <hirendition="#fr">S</hi>, in welchem von einer unbestimmten Zahl <hirendition="#i">n</hi><lb/>
die Rede ist, gilt.</p><lb/><p>Um nachzuweisen, dass der Satz <hirendition="#fr">S</hi> für alle Zahlen gelte, dass<lb/>
nämlich <hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">b</hi>⋹<hirendition="#i">c</hi> sei, genügt es dann nach <hirendition="#fr">D</hi> 59, zu zeigen:</p><lb/><p>erstens dass der Satz für die Zahl <hirendition="#i">b</hi> = 1̇ gilt, dass also <hirendition="#i">b</hi>⋹<hirendition="#i">c</hi> sei,</p><lb/><p>zweitens dass auch für das Bild <hirendition="#i">a von jeder</hi> Zahl (<hirendition="#i">n</hi>) für die unser<lb/>
Satz <hirendition="#fr">S</hi> gilt — welche Zahlen eben in dem Ausdrucke (<hirendition="#i">a</hi><hirendition="#sub">0</hi>) ; <hirendition="#i">b</hi>)<hirendition="#i">c</hi> zu-<lb/>
sammengefasst erscheinen — dieser Satz gelten müsse, d. h. also, dass<lb/>
auch <hirendition="#i">a</hi> ; (<hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">b</hi>)<hirendition="#i">c</hi>⋹<hirendition="#i">c</hi> sein müsse. Gemeinhin zu reden wird damit zu<lb/>
zeigen gewesen sein, dass, sobald der Satz für eine bestimmte Zahl <hirendition="#i">n</hi><lb/>
gilt, er auch für die <hirendition="#i">nächst höhere</hi> Zahl <hirendition="#i">n</hi> + 1̇ gelten müsse.</p><lb/><p>Stellt uns dagegen — noch allgemeiner —<hirendition="#i">b</hi> eine bestimmte Zahl <hirendition="#i">m</hi><lb/>
vor, oder auch irgend ein System von Zahlen, welches als die niederste<lb/>
die Zahl <hirendition="#i">m</hi> in sich schliesst, so wird <hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">b</hi> die <hirendition="#i">Gesamtheit der Zahlen<lb/>
von m an</hi> vorstellen.</p><lb/><p>Um zu beweisen, dass ein Satz <hirendition="#fr">S</hi> für alle Zahlen dieser Reihe <hirendition="#i">m</hi>,<lb/><hirendition="#i">m</hi> + 1̇, <hirendition="#i">m</hi> + 2, … in infinitum gelte, muss es dann genügen, „erstens“<lb/>
zu zeigen, dass er für die Zahlen des Systems <hirendition="#i">b</hi> gelte, ja ist es blos<lb/>
erforderlich, seine Geltung für die Zahl (<hirendition="#i">b</hi> =)<hirendition="#i">m</hi> selbst darzuthun, und<lb/>„zweitens“ etc. (Wortlaut wie vorhin). [Für die Zahlen unterhalb <hirendition="#i">m</hi><lb/>
braucht der Satz dann überhaupt nicht zu gelten.]</p><lb/><p>Hiermit dürfte denn die als <hirendition="#fr">D</hi> 60 von Herrn <hirendition="#g">Dedekind</hi> gegebne<lb/>
Erläuterung über die Bedeutung und Tragweite des Satzes <hirendition="#fr">D</hi> 59 bei-<lb/>
gebracht sein. Rekapituliren wir nochmals thunlichst mit den Worten<lb/>
des genannten Autors: <hirendition="#fr">D</hi> 60. Um zu beweisen, dass alle Elemente der<lb/>
Kette <hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">b</hi> eine gewisse Eigenschaft <hirendition="#fr">E</hi> besitzen, genügt es zu zeigen,</p><lb/><p>erstens dass alle Elemente von <hirendition="#i">b</hi> die Eigenschaft <hirendition="#fr">E</hi> besitzen,</p><lb/><p>zweitens dass dem Bilde <hirendition="#i">a</hi> ; <hirendition="#i">n jedes solchen Elements n</hi>„<hirendition="#i">von a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">b</hi>“,<lb/><hirendition="#i">welches die Eigenschaft</hi><hirendition="#fr">E</hi><hirendition="#i">besitzt</hi>, dieselbe Eigenschaft zukommt.</p><lb/><p>Unter <hirendition="#i">c</hi> brauchte man hiebei blos das System aller Elemente,<lb/>
welche diese Eigenschaft <hirendition="#fr">E</hi> besitzen, zu verstehen, um <hirendition="#fr">D</hi> 60 als die<lb/>
verbale Übersetzung der Formel <hirendition="#fr">D</hi> 59 zu erkennen.</p><lb/><p>Hiezu jedoch dürfte noch eine Bemerkung nicht überflüssig er-<lb/>
scheinen, welche durch die Vergleichung von <hirendition="#fr">D</hi> 59 mit <hirendition="#fr">D</hi> 47 nahe<lb/>
gelegt wird.</p><lb/><fwplace="bottom"type="sig"><hirendition="#k">Schröder</hi>, Algebra der Relative. 24</fw><lb/></div></div></body></text></TEI>
[369/0383]
§ 23. Zum Satz der vollständigen Induktion.
irgendwie (auch eventuell mit Auslassungen) zusammengesetzt ist. Solchen
Fall werden wir nachher ebenfalls berücksichtigen.
Dann stellt uns also a0 ; b wiederum die ganze Zahlenreihe vor.
Endlich bedeute nun das Relativ c die Gesamtheit, das „System“
der Zahlen, die eine bestimmte Eigenschaft E besitzen, m. a. W. für
die ein bestimmter Satz S, in welchem von einer unbestimmten Zahl n
die Rede ist, gilt.
Um nachzuweisen, dass der Satz S für alle Zahlen gelte, dass
nämlich a0 ; b ⋹ c sei, genügt es dann nach D 59, zu zeigen:
erstens dass der Satz für die Zahl b = 1̇ gilt, dass also b ⋹ c sei,
zweitens dass auch für das Bild a von jeder Zahl (n) für die unser
Satz S gilt — welche Zahlen eben in dem Ausdrucke (a0) ; b)c zu-
sammengefasst erscheinen — dieser Satz gelten müsse, d. h. also, dass
auch a ; (a0 ; b)c ⋹ c sein müsse. Gemeinhin zu reden wird damit zu
zeigen gewesen sein, dass, sobald der Satz für eine bestimmte Zahl n
gilt, er auch für die nächst höhere Zahl n + 1̇ gelten müsse.
Stellt uns dagegen — noch allgemeiner — b eine bestimmte Zahl m
vor, oder auch irgend ein System von Zahlen, welches als die niederste
die Zahl m in sich schliesst, so wird a0 ; b die Gesamtheit der Zahlen
von m an vorstellen.
Um zu beweisen, dass ein Satz S für alle Zahlen dieser Reihe m,
m + 1̇, m + 2, … in infinitum gelte, muss es dann genügen, „erstens“
zu zeigen, dass er für die Zahlen des Systems b gelte, ja ist es blos
erforderlich, seine Geltung für die Zahl (b =)m selbst darzuthun, und
„zweitens“ etc. (Wortlaut wie vorhin). [Für die Zahlen unterhalb m
braucht der Satz dann überhaupt nicht zu gelten.]
Hiermit dürfte denn die als D 60 von Herrn Dedekind gegebne
Erläuterung über die Bedeutung und Tragweite des Satzes D 59 bei-
gebracht sein. Rekapituliren wir nochmals thunlichst mit den Worten
des genannten Autors: D 60. Um zu beweisen, dass alle Elemente der
Kette a0 ; b eine gewisse Eigenschaft E besitzen, genügt es zu zeigen,
erstens dass alle Elemente von b die Eigenschaft E besitzen,
zweitens dass dem Bilde a ; n jedes solchen Elements n „von a0 ; b“,
welches die Eigenschaft E besitzt, dieselbe Eigenschaft zukommt.
Unter c brauchte man hiebei blos das System aller Elemente,
welche diese Eigenschaft E besitzen, zu verstehen, um D 60 als die
verbale Übersetzung der Formel D 59 zu erkennen.
Hiezu jedoch dürfte noch eine Bemerkung nicht überflüssig er-
scheinen, welche durch die Vergleichung von D 59 mit D 47 nahe
gelegt wird.
Schröder, Algebra der Relative. 24
Informationen zur CAB-Ansicht
Diese Ansicht bietet Ihnen die Darstellung des Textes in normalisierter Orthographie.
Diese Textvariante wird vollautomatisch erstellt und kann aufgrund dessen auch Fehler enthalten.
Alle veränderten Wortformen sind grau hinterlegt. Als fremdsprachliches Material erkannte
Textteile sind ausgegraut dargestellt.
Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895, S. 369. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/383>, abgerufen am 26.06.2024.
Alle Inhalte dieser Seite unterstehen, soweit nicht anders gekennzeichnet, einer
Creative-Commons-Lizenz.
Die Rechte an den angezeigten Bilddigitalisaten, soweit nicht anders gekennzeichnet, liegen bei den besitzenden Bibliotheken.
Weitere Informationen finden Sie in den DTA-Nutzungsbedingungen.
Insbesondere im Hinblick auf die §§ 86a StGB und 130 StGB wird festgestellt, dass die auf
diesen Seiten abgebildeten Inhalte weder in irgendeiner Form propagandistischen Zwecken
dienen, oder Werbung für verbotene Organisationen oder Vereinigungen darstellen, oder
nationalsozialistische Verbrechen leugnen oder verharmlosen, noch zum Zwecke der
Herabwürdigung der Menschenwürde gezeigt werden.
Die auf diesen Seiten abgebildeten Inhalte (in Wort und Bild) dienen im Sinne des
§ 86 StGB Abs. 3 ausschließlich historischen, sozial- oder kulturwissenschaftlichen
Forschungszwecken. Ihre Veröffentlichung erfolgt in der Absicht, Wissen zur Anregung
der intellektuellen Selbstständigkeit und Verantwortungsbereitschaft des Staatsbürgers zu
vermitteln und damit der Förderung seiner Mündigkeit zu dienen.
Zitierempfehlung: Deutsches Textarchiv. Grundlage für ein Referenzkorpus der neuhochdeutschen Sprache. Herausgegeben von der Berlin-Brandenburgischen Akademie der Wissenschaften, Berlin 2024. URL: https://www.deutschestextarchiv.de/.