21/10/23 15:12:23.18 VEyje5yT.net
>>486
つづき
ZFC does not assume that, for every property, there is a set of all things satisfying that property. Rather, it asserts that given any set X, any subset of X definable using first-order logic e
21/10/23 15:12:23.18 VEyje5yT.net
>>486
つづき
ZFC does not assume that, for every property, there is a set of all things satisfying that property. Rather, it asserts that given any set X, any subset of X definable using first-order logic e