00000nz  a2200000n  4500
001  KSH1998005622
005  19990622212917
008  980429 n azknn|abn          |a a|a    | 
150  ▼a간접 증명법[間接證明法]▲
450  ▼wr▼i영어▼aindirect proof▲
450  ▼wr▼i그리스어▼areductio ad absurdum▲
550  ▼wg▼a증명(논리)[證明]▲
550  ▼wh▼a동일법[同一法]▲
550  ▼wh▼a전환법[轉換法]▲
550  ▼a간접 증명[間接證明]▲
550  ▼a귀류법[歸謬法]▲