- 未だに数学で納得いかないこと挙げてけ4 [無断転載禁止]©2ch.net
683 ：１３２人目の素数さん[]：2018/02/16(金) 22:32:31.39 ID:tdTwAGJw - >>682
？？
マイナスが減ればプラスじゃん
|
- 大学学部レベル質問スレ 9単位目
367 ：１３２人目の素数さん[]：2018/02/16(金) 22:44:51.97 ID:tdTwAGJw - 述語論理って有限の立場って言えるのかな
∀xP(x)=P(x1)∧P(x2)∧P(x3)∧…
でしょ？もちろんx1x2x3…xnのように有限で済まないから全称記号を使うんだけど
P(x)のxとして考えうるものって原理的にはすべての数学概念だし
実質的にもどんな多くの無限でもあり得るところを
実際書き出すことが出来ないのを``有限の立場''って言って良いものか
|
- 大学学部レベル質問スレ 9単位目
368 ：１３２人目の素数さん[]：2018/02/16(金) 22:47:05.40 ID:tdTwAGJw - それに疑問持ったのは
実数の濃度がアレフ2だってことで
実数にはアレフ1の部分集合があるってことだけど
具体的に``これがそれ''って書き出せないんだよな
それでも述語論理でその集合を使うことに問題はないとされるわけだけど
ホントにそれでいいの？
|