برهان الخلف - لغات أخرى