Математічне доказательство – Інші мови