- 数理論理学(数学基礎論) その13
823 :132人目の素数さん[sage]:2019/02/19(火) 04:10:44.49 ID:48quv/+1 - 証明を簡単にするために、論理記号は¬と⇒だけみたいな感じで少なめにして欲しいわ
|
- 数理論理学(数学基礎論) その13
830 :132人目の素数さん[sage]:2019/02/19(火) 11:04:35.55 ID:48quv/+1 - メタ数学における集合って一体何を指しているんですか?
|
- 数理論理学(数学基礎論) その13
833 :132人目の素数さん[sage]:2019/02/19(火) 20:31:02.07 ID:48quv/+1 - そう
メタレベルでいう「集合」とはなんなの?直観的、素朴な立場で考えている集合なのですかね? その素朴な立場で捉えている集合に関して許される操作や命題ってどこまでのものが認められるんですかね ZFCの無矛盾性すら証明されていないのに、メタレベルでの集合に関する操作として選択公理を使うのって明らかに気持ち悪いし。
|