定義なんて曖昧な方が使いやすいし

理系の定義じゃねぇんだから
自然数の定義は数論と集合論で違うから食い違う事はある