Creates an LKsk Axiom rule from the given unlabeled sequent a pair of labels
Creates an LKsk Axiom rule from the given unlabeled sequent a pair of labels
unlabeled sequent of the axiom
pair of lists with labels for the antecedent and succedent
an LKProof of the Axiom