On the Formal Theory of the Ordinal Diagrams
Gaisi Takeuti · Annals of the Japan Association for Philosophy of Science · 1958
In the former paper [4], the author developed the theory of ordinal diagrams and by the use of transfinite induction for the system of ordinal diagrams he proved the consistency of the logical system called RNN in the former paper [5].RNN is obtained from GLC (See [6]) modifying it as follows: