Свођење на контрадикцију — Други језици