高校数学の質問スレPart398

[0188 １３２人目の素数さん 2018/10/24(水) 00:23:38.43 ID:+DVApYNB]

>>185
>対象の集合は普通に集合です

なんか話つうじてないね？
じゃ言語L上の公理系Sが無矛盾完全な公理としてSがモデルMを持つの証明どうすんの？
Lの項tに対してどんな集合のどんな元を対応させるん？