ジーニアス英和大辞典 ページ 42931 での【b真の命題が公理体系から完全に証明されない》.】単語。