Complexity of proofs and their transformations in axiomatic theories | lit.salon