Post

Conversation

再帰的的な定義によって、任意の数の足し算が定義できるのはわかるけど、そこに1の加算を使うと、足し算の定義ができる前に、1の加算という足し算が使われているのはどう説明するのかなと思う。