送交者: Dominatus 于 2005-4-22, 14:10:26:
回答: 证明了2的平方根是无理数 由 HunHunSheng 于 2005-4-22, 10:17:58:
...what you described is called reductio ad absurdum, or "proof by contradiction" . Counter-proof sounds like a proof countering some other proof, as in "counter-example". "Counter-proof" is also a term in engraving graphics meaning a reverse copy of the original.