Vastuväiteline tõestus – teised keeled