2010년 12월 22일 (수) 02:26 판 편집 Aydin1884 (토론 \| 기여) 10,311 편집 잔글편집 요약 없음 ← 이전 편집		2010년 12월 22일 (수) 10:13 판 편집 편집 취소 121.168.98.83 (토론) 편집 요약 없음 다음 편집 →
32번째 줄: [[분류:모형 이론]] [[분류:증명 이론]] [[en:Soundness]]

건전성: 두 판 사이의 차이