@kusano_k

数学的な定義を定義する組織は無さそう。0が自然数に入るかとか、いちいち確認するのが面倒なので、世界数学連盟的な団体が標準的な定義を決めてくれないものか……。論文とかで別の定義をする場合でも、差分だけで良くなる。
twitter.com/chokudai/statu…