ヒドラゲーム
参考文献
数学基礎論講義 不完全性定理とその発展
Prop 1
最悪の手法をとっても，ヘラクレスはヒドラに勝つ．
Thm 2
Prop 1は
Peano算術
では証明できない．