A **[[Proof|proof]]** (in F) is a series of $L_{1}$ [[L1 (FOL)|sentences]], each of which is either a premise/assumption or derived from previous lines (and sub-proofs) according to rules. See [[Proof System]].