>>580
君の主張は
 限定算術みたいな研究対象があるから自然数の定義は唯一でない
でよい?