[일반] PMA에선 조건제시법 안씀?

[익명(116.124)]

왜 한번도 못본거같지?

[코코넛(211.36)]

걍 루딘 스타일이 A={x in X: x는 ~~을 만족}이라 하자. 이렇게 잘 안적고 ~~을 만족하는 X의 원소들의 집합을A라 하자. 이렇게 적는편인듯. 근데 PMA에선 한번도 안썼나? RCA에선 종종 본적있는데