ハービー・フリードマンは上のような性質を満たすような明示的で自然な例をいくつか見つけた。それはペアノ算術やほかの形式的体系における文であり、その最短の証明は非常に長い。例えば、以下の主張
とは計算可能性理論を用いて次の加速定理を証明した：
証明.
なお、この存在証明は帰謬法に基づいているので、具体的にどのような文が加速されるのかは教えてくれない。
限界.
サラ・ノリエガ
来歴.
プルースト現象
軍防事務局
東坂田
地理.
市内北西部の小糸川下流右岸、JR内房線君津駅の北側に位置する。地内は店舗やホテルなどが立ち並ぶ商業地域である。
北で坂田、東で高坂・北久保、南で久保・中野、西で西坂田とそれぞれ隣接する（いずれも君津市）。
歴史.
小・中学校の学区.
市立小・中学校に通う場合、学区は以下の通りとなる。
施設.
公立小学校の学区は全域で君津市立坂田小学校、公立中学校は君津市立周西中学校。
西坂田
地理.
市内北西部の小糸川下流右岸、JR内房線北側に位置する。地内は主に住宅地となっている。
北で坂田、東で東坂田、南で中野、南西から西にかけて大和田とそれぞれ隣接する（いずれも君津市）。
歴史.
小・中学校の学区.
市立小・中学校に通う場合、学区は以下の通りとなる。
交通.
地内を通る高速道路・国道・県道はない。
鉄道.
地内をJR内房線が通過するが、駅はない。最寄駅は君津駅。
施設.
公立小学校の学区は全域で君津市立坂田小学校、公立中学校は君津市立周西中学校。
概要.
プルースト効果
南雄
歴史.
就航都市.
保有機材.
現役機材.
退役した機材.
来歴.
楽昌
食べて応援
食べて応援（たべておうえん) は、風評被害や被災、犯罪被害など困難を迎えている地域・業種・店舗の生産品や商品を積極的に消費することで応援消費することで間接的に支援しようというキャッチフレーズ。
概要.
大森玲菜
趣味:旅行、買い物、スノーボード。特技:ダンス。
略歴・人物.
女子校生やギャルなどの役柄での出演が多い。
実績.
ジュニア時代.
シニア時代.
平松時厚
経歴.
親族.
ヘルムホルツの分解定理
阿部龍
来歴.
主な騎乗馬.
出典:
新飯田
新飯田（にいだ）
工藤祐巌
月潟
月潟（つきがた）
公益施設
所属アーティスト.
すだちtoかぼす
概要.
六条鎬