| has gloss | eng: In mathematics and logic, a formal theorem is the purely formal analogue of a theorem. There are at least two senses in which the term "theorem" is used. In one sense, we are referring to an idea which is identical to the meaning of the theorem. In another sense, we are referring to, for instance, the ink marks on paper or chalk marks on a board which represent that idea. In general, a formal theorem is a type of formula that satisfies certain logical and syntactic conditions. The notation S is often used to indicate that S is a theorem. |
