Zahn, Peter (2019)
Untersuchung einer widerspruchsfreien Modifikation von ZFC.
Report, Erstveröffentlichung
Kurzbeschreibung (Abstract)
Wilhelm Ackermann has proved that Zermelo-Fraenkel set theory in which the axiom of infinity is replaced by its negation is equiconsistent to Peano's first order arithmetic. The latter theory has been proved to be consistent by Gerhard Gentzen. We show that from those results and a theorem of Jacques Herbrand - it follows that a modification of ZFC is consistent. Then we consider some consequences of that axiom system.
Especially, we introduce an extension of the usual set of natural numbers and show that it containes an infinitely large element which satisfies a principle of Leibniz, i.e. has all pertinent properties that belong to all sufficiently large natural numbers.
We also introduce an extension of the usual set of rational numbers and show that it is discrete on the one hand and has some similar properties as the set of reals in ZFC on the other.
| Typ des Eintrags: | Report |
|---|---|
| Erschienen: | 2019 |
| Autor(en): | Zahn, Peter |
| Art des Eintrags: | Erstveröffentlichung |
| Titel: | Untersuchung einer widerspruchsfreien Modifikation von ZFC |
| Sprache: | Deutsch |
| Publikationsjahr: | 19 September 2019 |
| URL / URN: | https://tuprints.ulb.tu-darmstadt.de/9106 |
| Kurzbeschreibung (Abstract): | Wilhelm Ackermann has proved that Zermelo-Fraenkel set theory in which the axiom of infinity is replaced by its negation is equiconsistent to Peano's first order arithmetic. The latter theory has been proved to be consistent by Gerhard Gentzen. We show that from those results and a theorem of Jacques Herbrand - it follows that a modification of ZFC is consistent. Then we consider some consequences of that axiom system. Especially, we introduce an extension of the usual set of natural numbers and show that it containes an infinitely large element which satisfies a principle of Leibniz, i.e. has all pertinent properties that belong to all sufficiently large natural numbers. We also introduce an extension of the usual set of rational numbers and show that it is discrete on the one hand and has some similar properties as the set of reals in ZFC on the other. |
| URN: | urn:nbn:de:tuda-tuprints-91067 |
| Sachgruppe der Dewey Dezimalklassifikatin (DDC): | 500 Naturwissenschaften und Mathematik > 510 Mathematik |
| Fachbereich(e)/-gebiet(e): | 04 Fachbereich Mathematik 04 Fachbereich Mathematik > Logik |
| Hinterlegungsdatum: | 13 Okt 2019 19:55 |
| Letzte Änderung: | 13 Okt 2019 19:55 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Frage zum Eintrag |
Optionen (nur für Redakteure)
 |
Redaktionelle Details anzeigen |
Drucken
Impressum