Dimostrazione per assurdo - Altre lingue