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