20/05/23 09:49:04 jlNBK+nU.net
>>675
つづき
（参考）
URLﾘﾝｸ(en.wikipedia.org)
Axiom schema
URLﾘﾝｸ(plato.stanford.edu)
Stanford Encyclopedia of Philosophy
Schema
(抜粋)
First published Fri May 28, 2004; substantive revision Tue Aug 2, 2016
A schema (plural: schemata, or schemas), also known as a scheme (plural: schemes), is a linguistic “template”, “frame”, or “pattern” together with a rule for using it to specify a potentially infinite multitude of phrases, sentences, or arguments, which are called instances of the schema.
Schemas are used in logic to specify rules of inference, in mathematics to describe theories with infinitely many axioms, and in semantics to give adequacy conditions for definitions of truth.
URLﾘﾝｸ(fuchino.ddo.jp)
Forcing入門
2015年10月17日 渕野 昌(神戸大学)
(抜粋)
P4
前提知識の復習
集合論の公理系 ZFC. ZFC は要素記号 ∈ を唯一の非論理記号とする１階の
論理（L∈）の（無限個の）論理式（公理）の集まり（公理系）として導入
される．
ZFC の公理系は，外延性の公理，空集合の公理，対の公理，和集合の公理，
冪集合の公理，無限公理，分離公理，置換公理，基礎の公理，選択公理 か
らなる．? このうち，分離公理と置換公理が無限個の論理式の集まりとし
て表現されている．
以下，ZFC の十分に大きな有限部分というときには，分離公理と置換公理
の論理式うちの（十分に沢山の）有限個と残りの有限個の公理全部を集め
たものとする．“十分に大きな” は，後で必要となる公理はすべて含まれて
いるというほどの意味である．
つづく