>>255
そういう風にして自然数を定義してようやく存在基盤ができたってこと