[일반] 공집합 공리를 받아들이기가 너무 어렵다

[익명(dozen2554)]

애초에 무한공리랑 분류공리꼴이라는 공리에서 유도될 수 있다고 하는데 이걸 공리라고 봐야하는게 맞는지..

그냥 저 둘에서 유도되는 정리라고 받아들이는게 나으려나

- dc official App

[수갤러 1(121.140)]

니가 그걸 증명하고 안 받아들이면 되지 뭘 고민이냐? 증명을 못해서?

[익명(dozen2554)]

왜 갑자기 풀발함 - dc App

[연쵸(solstice4649)]

공리를 뭔 - dc App

[익명(dozen2554)]

나 전공자 아님.. 그냥 수학 공부해보려는 일반인이여서 이런거 안 익숙함 - dc App

[익명(112.148)]

그건 공리 아니고 정리가 맞음

[ㅆㅅ(siiot)]

공집합 공리는 엄밀히 말하면 "집합이 존재한다"라는 가정 하에 무한공리랑 분류공리꼴로부터 유도되는 거임

[ㅆㅅ(siiot)]

그래서 공집합 공리는 집합의 존재성을 보장해주기 때문에 제거할 수 없음