1982年 An axiomatization theorem Journal of the Mathematical Society of Japan 巻 34 号 開始ページ 3 終了ページ エクスポート BibTeX RIS