Formalisme (matemàtiques) • Altres llengües