({\mathrm{Axiom}_1}\land\cdots\land{\mathrm{Axiom}_n})\Rightarrow F