0266焼き鳥名無しさん垢版 | 大砲2018/05/26(土) 19:24:14.49ID:8dxcm3ME >>260 ある無矛盾な公理系τの任意のモデルに対してある論理式φが常に真となるならば、τからφがLKにおいて証明可能となることを示せ、という問題がわかりません 生活保護もらいながら麻雀するような人にはわからないですかね?