大学学部レベル質問スレ 27単位目

[過去ﾛｸﾞ] 大学学部レベル質問スレ 27単位目 (1002ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

230(1): 2024/06/30(日)09:46 ID:p2BM3YkJ(3/5) AAS
>>223
帰納的定義は許されるよ
>>225
弊害？

232(2): 2024/06/30(日)10:53 ID:98eGIGX2(7/12) AAS
>>230

帰納的定義で定義される関数が存在することは証明する必要がないということですか？
理由を教えて下さい。