@article{oai:niigata-u.repo.nii.ac.jp:00029000, author = {高野, 道夫}, issue = {2}, journal = {数学教育研究, 数学教育研究}, month = {Jul}, pages = {15--28}, title = {自然数論の新しい公理化試論}, volume = {42}, year = {2007} }