この記事は日曜数学アドベントカレンダー10日目の記事です adventar.org もともとは数学基礎論の一分野である逆数学の宣伝記事を書こうと思っていたのですが，イントロだけでもあまりに書くことが多かったのでそちらは諦めました．最近は日本語で読める解説…