圏論、カテゴリー論その２

54: 2024/08/23(金)20:56 ID:nzyZTko5(1/3) AAS
殺

57(5): 2024/08/23(金)22:10 ID:nzyZTko5(2/3) AAS
ZF(C)にはないけれど(N)BGならクラスあるのと
(N)BGはZF(C)と証明能力同じと証明されていて本質的には同じと見ていいらしいので
ZF(C)に非公式ながらもクラスを導入して使うのは構わないよ

58: 2024/08/23(金)22:11 ID:nzyZTko5(3/3) AAS
集合はクラスの元となるクラスのことね