- 分からない問題はここに書いてね422 [無断転載禁止]©2ch.net
199 ：161[sage]：2017/01/03(火) 00:06:18.07 ID:AVmNKFwo - >>173
レスくれる人は神様だぜ！
てっきり無視されるかと思ってたからさｗ
貴方にもありがとう。
質問がやはり大雑把過ぎだよね。
こちらに数学の知識がないのが原因なんだけど。
|
- 分からない問題はここに書いてね422 [無断転載禁止]©2ch.net
264 ：161[sage]：2017/01/03(火) 00:24:21.75 ID:AVmNKFwo - >>196
丁寧に掘り下げてくれて助かります。
＞④適切なBを用意すればAの正しさを証明できる……これは正しい
＞（極端な話、Aの無矛盾性を意味する論理式をAに追加したものをBとすればいい）
なるほど。
…またわかってないとつっこまれそうだけれど恐れずに。
そのＢの正しさはどうやって証明するのだろう、Ｃをもってくる？
（Ｂの正しさなんてＡの正しさの証明に無関係なんだろうけど気になって）
…たぶんすごい勘違いを自分はしてると思うからすまそ。
また明日のぞきます！おやすみ！
|
- 分からない問題はここに書いてね422 [無断転載禁止]©2ch.net
278 ：161[sage]：2017/01/03(火) 00:28:11.00 ID:AVmNKFwo - +L7QxfH3さんもおやすみだぜ！
|