20/05/08 10:57:50 enp/+yz7.net
>>239
＞私は、[Drk]に何を書いてあるかは知らない
じゃ、調べたら？
もし、nine axiomsと書いてあったとしても、厳密には誤りだけど
ZFCの公理が有限個だったら、そもそも可算推移モデルなんて考えなくていい
URLﾘﾝｸ(ja.wikipedia.org)
V で作業する代わりに、可算推移モデル M と (P,≤,1) ∈ Mを考える。
ここで言うモデルというのはZFCの十分多くの”有限個”の公理を満たすものを言う。
推移性というのは x ∈ y ∈ M ならば x ∈ Mとなることである。