訂正日: 2006/09/26訂正理由: -訂正箇所: 引用文献情報訂正内容: Right : [1] K. Gödel, The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axiom of set theory, Princeton, 1951. [2] G. Takeuti, Construction of the set theory from the theory of ordinal numbers, J. Math. Soc. Japan, 6 (1954), 196-220. [3] G. Takeuti, On the theory of ordinal numbers, J. Math. Soc. Japan, 9 (1957), 93-113. [4] G. Takeuti, On the recursive functions of ordinal numbers, J. Math. Soc. Japan, 12 (1960),119-128. [5] G. Takeuti, A formalization of the theory of ordinal numbers, Proceedings of the Symposium of the Foundations of Mathematics held at Katada, Japan, 1962.