A formal system is called complete if every valid formula can be proved in the system.