똑같다 일치 같다 틀:수학기초론 = 비례식 분류:등식 동치관계 동일 추이성 고차 논리 일차 논리 同 시그니처(수리논리학) 공집합 틀:수리논리학 모델 이론 타입 이론 범주 수학적 대상 소박한 집합론 ZFC 공리계 이론(수리논리학)