トップページ > 数学 > 2019年02月12日 > L+lNbukK

書き込み順位＆時間帯一覧

19 位/95 ID中時間01234567891011121314151617181920212223Total
書き込み数0000000000000000000000202



使用した名前一覧書き込んだスレッド一覧
１３２人目の素数さん
巨大数探索スレッド15

書き込みレス一覧

巨大数探索スレッド15
6 ：１３２人目の素数さん[sage]：2019/02/12(火) 22:34:47.68 ID:L+lNbukK
なんらかのメタ理論で定義された1階述語論理のドメインとしてVを定義することはできるが、
それが本当にVである保証は無い、ということだろうか
巨大数探索スレッド15
7 ：１３２人目の素数さん[sage]：2019/02/12(火) 22:39:20.72 ID:L+lNbukK
Vに∀x(x∈V←→x=x)と形式的定義を与えても、Vがxの動く範囲にない2階以上の対象としてとらえないと
ZFCと矛盾するし、純粋にメタ言語としての1階述語論理はVを扱えないことになるのでは


※このページは、『２ちゃんねる』の書き込みを基に自動生成したものです。オリジナルはリンク先の２ちゃんねるの書き込みです。
※このサイトでオリジナルの書き込みについては対応できません。
※何か問題のある場合はメールをしてください。対応します。