Proof languages