>>55
>>n階算術の体系で証明可能な命題であって、
>>n+1階算術ではより短い証明を持つもの
英語版のWikipediaにこんなこと書かれてないけど?