小父蔵〔昔の名前で再登場〕@old_0003FollowClick to Follow old_0003再帰的的な定義によって、任意の数の足し算が定義できるのはわかるけど、そこに1の加算を使うと、足し算の定義ができる前に、1の加算という足し算が使われているのはどう説明するのかなと思う。Translate post9:25 PM · Jul 11, 2024·46Views