What is derivable consequence?

A derivable consequence is a statement or proposition that logically follows from a set of premises or axioms within a formal system. In other Words, if the premises are true, the derivable consequence must also be true based on the rules of inference of that system. It is a fundamental concept in logic and mathematics, often used to demonstrate the validity of arguments or proofs.