この記事はMathematical Logic Advent Calendar 23日目の記事です. adventar.org 内容は二階算術の公理系のうち，Big Fiveと呼ばれる基本的な5つとのモデルの最小性についてです． drive.google.com

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