>>690
それだと>>676が言っている本のスタンスに合わないでしょ
「帰納的定義より明らか」が使えるなら>>676みたいなことは書かないはず