나무모에 미러
(
일반
/
밝은
화면)
∈
의 역링크
∋
갈퀴 기호
그로텐디크 우주
ETCS
관계식
틀:집합론
집합
추이성
같음
시그니처(수리논리학)