ゲーデルの加速定理のWikipediaなんか変じゃない……？と思ってよく見たら、なんと定理自体の主張が何も書かれてなかった。何これ……
（ここで問題にしてるのたぶん証明の長さではなく証明の複雑さの話だと思うけど本記事にそのへんの記載がなにもない……）