Tarskiは英文の伝記が出版されてたはず

>>261
モデルを持つならば無矛盾と言うのは
理論T1で理論T2がinterpret出来るならば、
T1が無矛盾→T2が無矛盾
という一般的な定理の特殊な場合だと思う

だからZFCでモデルを持つことを示したなら
ZFCの無矛盾性くらいは陰に使ってると思うぜ