Oversettelse Av Formal Prerequisites På Forskjellige Språk