Translation Of Type Of Proof In Different Languages