ریاضیاتی ثبوت - دیگر زبانیں