この記事は Mathematical Logic Advent Calendar2020(https://adventar.org/calendars/5002)の6日目の記事です． 概要 二階算術の部分体系では，ビッグ5と呼ばれる五つの体系()がよく扱われます． 昨年の記事 二階算術の諸体系のモデル - お勉強の記録 では…