23: 名無しさん 2017/09/14(木)07:55:28 ID:1g4

定義っていうのは、推論を構築するための前提や決まりやから定義に沿って何かを証明したらええだけ

定義は別に変えてええんやで、選択公理とかあるやん

26: 名無しさん 2017/09/14(木)07:59:54 ID:CHo

>>22
そうなるよな

>>23
ググったら結構面白そうやんけ
数学苦手だけど学んでみるわ

28: 名無しさん 2017/09/14(木)08:02:07 ID:1g4

>>26
数理論理学、数学基礎論、集合論、純粋数学
とかになるんかな＞証明とか定義の話

29: 名無しさん 2017/09/14(木)08:03:48 ID:Yt9

立証性と言語表現の壁
真理は只存在し言葉にならない

30: 名無しさん 2017/09/14(木)08:04:49 ID:7TB

いつか万能になりそう

32: 名無しさん 2017/09/14(木)08:07:24 ID:CHo

>>28
ライプニッツやウィトゲンシュタインって読んだ方がいい？

>>29
カント以降の話の流れでそんなん読んだ気がする

>>30
なればいいね

35: 名無しさん 2017/09/14(木)08:13:30 ID:1g4

>>32
＞ライプニッツやウィトゲンシュタインって読んだ方がいい？
ごめん両方知らん