나무모에 미러
(
일반
/
밝은
화면)
같음
의 역링크
=
틀:수학기초론
똑같다
동일
일치
타입 이론
같다
동치관계
同
ZFC 공리계
범주