>>676
つづき

http://www.academia.edu/35826551/%E7%84%A1%E9%99%90%E3%81%AE%E6%A6%82%E5%BF%B5%E5%88%86%E6%9E%90
(PDF) 無限の概念分析 矢田部俊介 京都大学 学部横断授業 2018
(抜粋)
P9
ただ雑然と無限個の公理が並んでいても人間が ZFC はどのような公理を持つかということを把握できない。
そこで登場するのが公理図式というアイディアである。公理図式とは、無限個の公理を一つにまとめて書く方法である。

http://www.math.mi.i.nagoya-u.ac.jp/~kihara/pdf/teach/logic2018spring-draft.pdf
2018 年度 数理情報学 6・講義ノート
木原 貴行
名古屋大学 情報学部・情報学研究科
最終更新日: 2018 年 7 月 5 日
P38
3.3 数学的公理と形式証明
定義 3.17. L-理論 (L-theory) とは，L-文の集合のことを指す．
L-理論は無限集合でもよい．たとえば，ペアノ算術などの自然数論は，和と積などに関する有限
個の公理と，数学的帰納法を表す公理図式を持つ．
ここで，論理式毎に数学的帰納法を公理に加える必要があるので，公理は無限個になる．
(引用終り)
以上