「Aとする。BならばC」って、どこまでが仮定なの？

「Aとする。BならばC」って、どこまでが仮定なの？ (42ﾚｽ)
上下前次1-新
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

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

31(2): 01/13(月)08:55 ID:ZZe3wroh(1/2) AAS
コンピュータは数学者になれるのか? -数学基礎論から証明とプログラムの理論へ
照井一成 (著)

32: 01/13(月)08:56 ID:ZZe3wroh(2/2) AAS
コンピュータは数学者になれるのか? -数学基礎論から証明とプログラムの理論へ
照井一成 (著)