＜参考リンク（お薦めサイト）＞
１）渕野先生
https://fuchino.ddo.jp/index-j.html 渕野 昌 (Sakae Fuchino)
https://researchmap.jp/read0078210 渕野 昌 フチノ サカエ (Sakae FUCHINO)

２）藤田博司先生
http://www.math.sci.ehime-u.ac.jp/~fujita/index.jp.html 藤田博司 愛媛大学
http://www.math.sci.ehime-u.ac.jp/~fujita/notes.jp.html 藤田博司 集合論ノート
https://researchmap.jp/fujitahiroshi 藤田 博司 フジタ ヒロシ (Hiroshi Fujita)

３）Stanford Encyclopedia of Philosophy
https://plato.stanford.edu/entries/zermelo-set-theory/
Stanford Encyclopedia of Philosophy
例 Zermelo’s Axiomatization of Set Theory First published Tue Jul 2, 2013

４）仙台ロジック倶楽部
https://sites.google.com/site/sendailogichomepage/home
仙台ロジック倶楽部 東北大学 大学院理学研究科 数学専攻 田中一之 Outreach
https://sites.google.com/site/sendailogichomepage/files/ref/ref_02
Sendai Logic Homepage
逆数学のすすめ

５）逆数学
https://ja.wikipedia.org/wiki/%E9%80%86%E6%95%B0%E5%AD%A6
逆数学 (抜粋)
逆数学とは、数学の定理の証明に必要な公理を決定しようとする数理論理学のプログラムである。簡単に言えば、通常の数学が公理から定理を導くのとは逆に、「定理から公理を証明する」手法を用いることが特徴である。「選択公理とツォルンの補題はZF上で同値である」、というような集合論の古典的定理は、逆数学プログラムの予兆となるものだった。しかし、実際の逆数学では主に、集合論の公理ではなく、通常の数学の定理を研究するのを目的とする。
逆数学は大抵の場合、2階算術について実行され、定理が構成的解析と証明論に動機付けられた2階算術の部分体系のうち、どれに対応するのかを研究する。 2階算術を使うことで、再帰理論からの多くの技術も利用できる。実際、逆数学の結果の多くは、計算可能性解析の結果を反映している。
逆数学は、Harvey Friedman (1975, 1976)によってはじめて言及された。基本文献は(Simpson 2009)を参照。

つづく