2013년 3월 15일 (금) 08:36 판 편집 Chobot (토론 \| 기여) 봇 487,762 편집 잔글 봇:인터위키 링크 16 개가 위키데이터의 Q693083 항목으로 옮겨짐. 이동 완료.; 예쁘게 바꿈 ← 이전 편집		2014년 11월 7일 (금) 10:55 판 편집 편집 취소 Salamander724 (토론 \| 기여) 점검 면제자, 장기인증된 사용자, 업로더 211,826 편집 잔글 HotCat을 사용해서 분류:연역을(를) 추가함 다음 편집 →
32번째 줄: [[분류:모형 이론]] [[분류:증명 이론]] [[분류:연역]]

건전성: 두 판 사이의 차이