Equivalence of Hilbert-style systems – math.stackexchange.com

Let $L_0$ be an axiomatic proof system for propositional logic which has the following axiom schema: A1. $(\alpha\to(\beta\to\alpha))$ A2. ...