>>132
君はもしかして、不勉強で怠け者の反知性主義者？

＞ある無矛盾な公理系τの任意のモデルに対してある論理式φが常に真となるならば、τからφがLKにおいて証明可能となることを示せ

馬鹿の一つ覚え？