@article{oai:niigata-u.repo.nii.ac.jp:00028976, author = {高野, 道夫}, issue = {2}, journal = {数学教育研究, 数学教育研究}, month = {Oct}, pages = {6--16}, title = {基本演算として“2倍”と“2倍プラス1”をもつ自然数論の公理化}, volume = {44}, year = {2009} }