数学基礎論・数理論理学　その20

NBGでは通常の選択公理より強い大域選択公理を仮定するのが普通らしい
また互換クラスは3対で定義されているが2対の順序対について成立することを証明できるようだ
そしてとても重要なのが
�@クラス存在定理
これは
いくつかのクラスA1,…,Anと
自由集合変数x1,…xmについての1階述語論理式φ(x1,…,xm,A1,…,An)
に対して
{(x1,…,xm)∈V^m::φ(x1,…,xm,A1,…,An)}
というクラスが存在するという定理
および
�AZFCの保存拡大
これは
集合しか対象になっていないZFCで証明できる命題と
NBGで集合について証明できる命題は一致するというもの

これが成立しているため
クラスが無いZFCでも
自由にクラスを扱って良いことになる訳だな

なんでZFCに関する結論が得られるのかわからん

自由に扱えるなら全てのクラスからなるクラスもオッケーだな
すてき

（レス乞食はもうちょっと数学を勉強しないと）

<<数学は競争だ>>

パンだけ食ってゴールしないw

ポエム書かれても意味分からんのだが？
自由に扱えるってなんやねん

給水してパン食って帰るw

借り物をして返さずに帰るw

うちの子はなぜ一番じゃないの？

一人で走れば良いよw

>>286
NBGのクラス置換公理は単独の公理であり
ZFCの様な置換公理スキームにならないのは>>287
>�@クラス存在定理
のおかげで
論理式それぞれについて別々の公理にする必要が無いから
これによりNBGは有限公理化できているわけだ
クラスFとAに対してクラス存在定理より
F[A]={y::∃x∈A:(x,y)∈F}
というFによるAの像クラスが存在するが
クラス置換公理の言わんとするところは
Fをクラス関数
すなわち
∀x,y,z:((x,y),(x,z)∈F→y=z)
の成り立つクラスだとしたとき
xが集合ならF[x]も集合ということ
標語的に言えば「（クラス関数による）集合の像は集合」かな

ドメインクラスの存在公理は
別の書き方をすると
Dom(F)={x::∃y:(x,y)∈F}
が存在すると言っており
互換クラスの存在公理（から証明される転置クラスA^T）により
Dom(F)=F^T[V]
であるので不用と思うかも知れないが
クラス存在定理を証明するのにドメインクラスが必要だし
クラス存在定理は任意の論理式φ(x1,…,xm,A1,…,An)について成立するので
こちらを公理にしようとすると公理スキームになってしまう

NBGでVは
クラスとその補クラスの合併
すなわち
補クラスとクラスの連言クラスの補クラスとして定義するらしいが
これが
φ(x)≡x=x
の定義するクラスと一致するのは
クラス外延性からだな

>>301
>φ(x)≡x=x
>の定義するクラス
つまり
ZFCでもNBGでも
それに公理を追加しも
Vの定義は同じ
ていうか
追加する前のVより
追加した後のVの方が狭い
そりゃ当然よな
公理の追加＝理論の制限
なんだから

みんな大好きお兄さんのまったり集合論（数理論理学）・確率論勉強スレ
rio2016.5ch.io/test/read.cgi/math/1791094141/

ヨロピク

ヨロピクリン。
☆（ゝω・）vｷｬﾋﾟ

>>286
>�U（連言クラス）
A∩B
>�V（否定クラス）
cA
>�W（ドメインクラス）
Dom(A)
>�X（直積クラス）
A×V
>�Y（巡回置換クラス）
A^σ
>�Z（互換クラス）
A^T

しかし
これらって
クラスを引数にする函数みたいなのを考えてるってことよな
それってありなん？
公理にしてるんだからアリなのか？