>>799
自然数の名前をつけるって何?
1 := なんかの事象
をそこでやったってこと?