[일반] Axiom of Regularity 뭐라고 번역해야 함? 정규적임의공리?

[익명(183.108)]

뭐라고 해야 하나...

수학이야기: 공집합이 아닌 집합 A에 대해서, A는 the power set of A의 부분집합이 될 수 없음을 보여라.

[해당 댓글은 삭제되었습니다.]

해당 댓글은 삭제되었습니다.

[익명(183.108)]

Regular에 (비격식이긴 하지만) 완전한, 분명한의 뜻이 있는 걸로 미뤄보면 "분명"의 공리 또는 "명확"의 공리(어떤 집합이 집합이라는 걸 "명확하게" 정의한다는 의미에서)라고 하는 게 나은 거 같다.

[익명(122.202)]

다 좆같은 번역인데 아무거나 골라잡으셈

[겨울_(silhouet72)]

A={공집합}으로 두면 A가 P(A)의 부분집합인거 같은데

[익명(183.108)]

아 ㅋㅋ 그렇네

[익명(183.108)]

아 A가 공집합이 아니면서 공집합을 원소로 갖지 않아야 하는 구나...

[익명(119.202)]

지금 말하는 저 명제가 참이긴하냐 애초에? 각 원소를 그 원소를 포함한 singleton으로 가도록 잡으면 되는데

[익명(183.108)]

미안허다 참 아니다...

[익명(183.108)]

근데 너가 말한 방식으로는 구성 못 할 거야. 아마 A가 공집합을 포함하지 않는 넌-엠프티면 이 명제가 성립할 거야.

[익명(119.202)]

아 부분집합이란게 정확히 A를 포함하느냐 이거를 묻는거구만 ㅇㅋ

[익명(183.108)]

문제 수정: A가 non-empty이고 공집합을 원소로 갖지 않아야 함.