12/01/19 06:15:01.51
>>312の定義を適用するために、
通常では何らかの性質を持つ基数の存在として記述されない巨大基数公理を
そういう形に書き換えてたいようだけど、
そもそも>>312の定義がおかしくないかい？
“is consistent”というメタレベルの言明を挟んでいるのだから、
“V ⊨ κ is a φ-cardinal”と“L ⊨ κ is a φ-cardinal”で出てくる
二つのκが同じもの、というのが意味をなさないよ。正しくは
if “V ⊨ ∃κ(κ is a φ-cardinal)”then“L ⊨ ∃κ(κ is a φ-cardinal)”
ではないかな？