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