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

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

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

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

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

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

235(1): 2024/06/30(日)11:03 ID:p2BM3YkJ(4/5) AAS
>>232
全部合併させるだけだからね
超限帰納的でもおk

245(2): 2024/06/30(日)23:16 ID:LA7ak8wx(1) AAS
>>232
じゃあお前に聞くけど、数理論理学の本で｢論理式｣って言葉が、あんなふうにして定義されてて、それでキチンと定義がされてるものだとされる理由を答えてみ。