>>299
ペアノ算術を含む任意の無矛盾な公理系に対して、証明も反証もできない命題が少なくとも一つ存在することを示せ、という問題がわかりません