Translation Of What We Can Prove In Different Languages