0045132人目の素数さん垢版 | 大砲2019/03/03(日) 14:41:25.84ID:bkWu56WC >>39 否定の証明不可能性による定義で、また、1階述語論理の完全性より 「恒真であれば証明可能である」 対偶より 「証明不可能であれば恒真でない」 すなわち 「x_k=tとなるモデルが存在する」 ということでモデル依存になるんじゃ