[일반] axiom of specification 이거

[서지환(manwa)]

P(a)에 오는 부분이 formula이기만 하면 다 되는거임?

[ultraproduct(ultraproduct)]

Axiom of Separation? ㅇㅇ

[서지환(manwa)]

ㄱㅅㄱㅅ