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

>>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

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

V^2の部分クラスRが
∀x:(x,x)∈R
∀x,y:((x,y)∈R→(y,x)∈R)
∀x,y,z:((x,y),(y,z)∈R→(x,z)∈R)
を充たしている時クラス同値関係と呼ぶことにして
V^2/Rに当たるモノを作りたい
特定はできないけれど
∃S:(∀x,∃y∈S:(x,y)∈R)∧(∀x,y∈S:((x,y)∈R→x=y)
を充たすSの存在を証明できたらこれがV^2/Rの役割を果たすよね
クラス存在定理から何とか証明できないものかな？

>>307
>V^2/Rに当たるモノ
V/Rに当たるもの
だた