Translation Of Formal Prerequisites In Different Languages