밑에 문제(유한집합 공리화) 해결한 것 같아요!

[익명(110.11)]

https://arca.live/b/logician/20861412?p=1

여기에 글 적어 봤는데, 검토 부탁드릴게요.

오류 지적이나 질문은 환영입니다. 

[초코냥-바이러스(thecoqproofassistant)]