0445132人目の素数さん垢版 | 大砲2018/06/02(土) 19:16:38.21ID:o6xuXmiU >>444 無矛盾な公理系τの任意のモデルに対してある論理式φが常に真となるんだから 完全性定理によりτからφがLKにおいて証明可能となりますよ なんでこんなこともわからないんですか??? バカってことでいいですね?