誰か『自然数を扱う数論体系の内部からは証明できない命題がある』という不完全性定理を証明してください。