การพิสูจน์เชิงคณิตศาสตร์ - ภาษาอื่น ๆ