집함론 공리계 두개가 완전히 동치라는게 말이 되나요 그걸 어떻게 증명하나요. 한국 귀국 환영