23/07/03 08:12:14.45 f05x76gn.net
>>それはn階算術の体系で証明可能な命題であって、n+1階算術ではより短い証明>>を持つものが存在するというものである。
そのn階算術の体系の証明可能な命題の証明の長さの最小値は
n→∞のとき有界であるとは思えない。
23/07/03 08:12:14.45 f05x76gn.net
>>それはn階算術の体系で証明可能な命題であって、n+1階算術ではより短い証明>>を持つものが存在するというものである。
そのn階算術の体系の証明可能な命題の証明の長さの最小値は
n→∞のとき有界であるとは思えない。