Translation Of Deductive Powers In Different Languages