>>177
うーん、哲学の話のになりそうなので自分の理解の範囲外っぽい
そもそも自然数概念を取り除きたいという感覚がわからん