>>806
うん

彼との話とは脱線するけど不完全性って加法乗法の他にも自然数が無限にある性質は絡むよね?