Hilbertの第24問題
証明論の問題でもある．
Luts Straßburgerもこのことに関して随筆を書いている．