訂正日: 2006/08/29訂正理由: -訂正箇所: 引用文献情報訂正内容: Wrong : 1) G. Gentzen, Neue Fassung des Widerspruchsfreiheitsbeweises für die reinen Zahlentheorie, Forschung zur Logik und Grundlegung der exakten Wissen-schaften, Neue Folge 4, Leipzig (1938), 19-44. 2) G. Takeuti, Ordinal diagrams, J. Math. Soc. Japan, 9 (1957), 386-394. 3) G. Takeuti, Ordinal diagrams II, J. Math. Soc. Japan, 12 (1960), 385-391. 4) G. Takeuti, On the Formal Theory of the Ordinal Diagrams, Ann. Japan Assoc. Philos. Sci., 3 (1958), 151-170. 5) G. Takeuti, On the inductive definition with quantifiers of second order, J. Math. Soc. Japan, 13 (1961), 333-341.
Right : [1] G. Gentzen, Neue Fassung des Widerspruchsfreiheitsbeweises für die reinen Zahlentheorie, Forschung zur Logik und Grundlegung der exakten Wissenschaften, Neue Folge 4, Leipzig (1938), 19-44. [2] G. Takeuti, Ordinal diagrams, J. Math. Soc. Japan, 9 (1957), 386-394. [3] G. Takeuti, Ordinal diagrams II, J. Math. Soc. Japan, 12 (1960), 385-391. [4] G. Takeuti, On the Formal Theory of the Ordinal Diagrams, Ann. Japan Assoc. Philos. Sci., 3 (1958), 151-170. [5] G. Takeuti, On the inductive definition with quantifiers of second order, J. Math. Soc. Japan, 13 (1961), 333-341.