Question: what is the difference between formula and theorem?
Answer: What is the difference between a theorem and a formula? ... A formula is a sentence in a formal language, such as a proposition in logic or an equation in arithmetic. A theorem is something that has been proven. There are two types of theorems: object theorems and metatheorems.