 Finite character of formal proofs

Every formal proof is a finite string and therefore uses only finitely many of the available assumptions.