[일반] 야호! 증명 찾았다.

[기괴공학도(121.179)]

전에 외연 공리 관련해서 이야기했잖아요.
임의의 A에 대하여 항상 { A }가 존재하는 상황에 관한 증명입니다.

[익명(119.202)]

집합이라면 마 당연히 저래야하는 거 아입니까

[익명(119.202)]

라는 게 제 생각이었습니다 암튼 수고하셨습니다 이제 증명을 살펴볼게요(?)

[기괴공학도(121.179)]

댓글 감사합니다.

[기괴공학도(121.179)]

혹시나 해서 적는데, 기호 '|-'는 syntactic consequence 관계를 나타냅니다.