12/01/19 06:18:15.00
間違えた、正しくは
if “V ⊨ ∃κ(κ is a φ-cardinal)” is consistent, then so is “L ⊨ ∃κ(κ is a φ-cardinal)”
ではないかと。
12/01/19 06:18:15.00
間違えた、正しくは
if “V ⊨ ∃κ(κ is a φ-cardinal)” is consistent, then so is “L ⊨ ∃κ(κ is a φ-cardinal)”
ではないかと。
12/01/19 06:18:15.00
間違えた、正しくは
if “V ⊨ ∃κ(κ is a φ-cardinal)” is consistent, then so is “L ⊨ ∃κ(κ is a φ-cardinal)”
ではないかと。