算術の超準モデルで検索
読んでもちんぷんかんぷんだろうけど