Translation Of Constructive Systems In Different Languages