![Gaisi Taxeuti. A remark on Gentzen's paper “Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie.” I—II. Proceedings of the Japan Academy, vol. 39 (1963), pp. 263–269. | The Gaisi Taxeuti. A remark on Gentzen's paper “Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie.” I—II. Proceedings of the Japan Academy, vol. 39 (1963), pp. 263–269. | The](https://static.cambridge.org/content/id/urn%3Acambridge.org%3Aid%3Aarticle%3AS0022481200117463/resource/name/firstPage-S0022481200117463a.jpg)
Gaisi Taxeuti. A remark on Gentzen's paper “Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie.” I—II. Proceedings of the Japan Academy, vol. 39 (1963), pp. 263–269. | The
![Design Patterns für mathematische Beweise: Ein Leitfaden insbesondere für Informatiker | SpringerLink Design Patterns für mathematische Beweise: Ein Leitfaden insbesondere für Informatiker | SpringerLink](https://media.springernature.com/w153/springer-static/cover/book/978-3-662-55652-8.jpg)
Design Patterns für mathematische Beweise: Ein Leitfaden insbesondere für Informatiker | SpringerLink
![elementary set theory - Theorem $($Transfinite Induction and Construction$)$ (James Dugundji - 5.1, Page - 40) - Mathematics Stack Exchange elementary set theory - Theorem $($Transfinite Induction and Construction$)$ (James Dugundji - 5.1, Page - 40) - Mathematics Stack Exchange](https://i.stack.imgur.com/G1ejH.jpg)
elementary set theory - Theorem $($Transfinite Induction and Construction$)$ (James Dugundji - 5.1, Page - 40) - Mathematics Stack Exchange
![Kurt Schütte. Logische Abgrenzungen des Transfiniten. Logik und Logikkalkül, edited by Max Käsbauer and Franz von Kutschera, Verlag Karl Alber, Freiburg and Munich 1962, pp. 105–114. | The Journal of Symbolic Logic | Cambridge Core Kurt Schütte. Logische Abgrenzungen des Transfiniten. Logik und Logikkalkül, edited by Max Käsbauer and Franz von Kutschera, Verlag Karl Alber, Freiburg and Munich 1962, pp. 105–114. | The Journal of Symbolic Logic | Cambridge Core](https://static.cambridge.org/content/id/urn%3Acambridge.org%3Aid%3Aarticle%3AS0022481200114471/resource/name/firstPage-S0022481200114471a.jpg)
Kurt Schütte. Logische Abgrenzungen des Transfiniten. Logik und Logikkalkül, edited by Max Käsbauer and Franz von Kutschera, Verlag Karl Alber, Freiburg and Munich 1962, pp. 105–114. | The Journal of Symbolic Logic | Cambridge Core
![set theory - I don't understand this proof: Trichotomy for ordinals (by double transfinite induction) - Mathematics Stack Exchange set theory - I don't understand this proof: Trichotomy for ordinals (by double transfinite induction) - Mathematics Stack Exchange](https://i.stack.imgur.com/ivxP3.png)