sequent
noun
°An element of a sequence, usually a sequence in which every entry is an axiom or can be inferred from previous elements.