| English | eng-000 |
| proof by contradiction | |
| čeština | ces-000 | důkaz sporem |
| 普通话 | cmn-000 | 反证法 |
| 普通话 | cmn-000 | 矛盾证明法 |
| 普通话 | cmn-000 | 矛盾证法 |
| ελληνικά | ell-000 | εις άτοπον απαγωγή |
| English | eng-000 | negative approach |
| íslenska | isl-000 | óbein sönnun |
| polski | pol-000 | dowód nie wprost |
| русский | rus-000 | доказа́тельство от проти́вного |
| русский | rus-000 | доказательство от противного |