「クラス$\boldsymbol{M}$はZFCの内部モデルである」は\[\mathrm{ZF}\vdash\mathrm{ZFC}^{\boldsymbol{M}}\]のことというところから、初学者にはわかりにくいようです。「モデル」といいつつ構文論的な議論というところが。
「クラス$\boldsymbol{M}$はZFCの内部モデルである」は\[\mathrm{ZF}\vdash\mathrm{ZFC}^{\boldsymbol{M}}\]のことというところから、初学者にはわかりにくいようです。「モデル」といいつつ構文論的な議論というところが。
「数学ガール,ゲーデルの不完全性定理」だとこうなりました。誰？
Stable Diffusion Demo に日本語で「数学ガール」を渡したらこんなのが出てきましたが、誰ですか？
