End DerivableRulesFromSequentCalculus.
Section SequentCalculus2Axiomatization.
Context {L: Language}
{Gamma: ProofTheory L}
{minL: MinimunLanguage L}
{SC: NormalSequentCalculus L Gamma}
{bSC: BasicSequentCalculus L Gamma}
{minSC: MinimunSequentCalculus L Gamma}.

Theorem SequentCalculus2Axiomatization_minAX: MinimunAxiomatization L Gamma.