Definition talk:Expression

From ProofWiki
Jump to navigation Jump to search

Maybe the definition can be expanded to be made more general, but strictly speaking an expression need not be a "well-formed formula" as mathematics as it is generally practiced is not a formal system. Or if it is, the rules of formation are not well specified. Thus "expression" should be afforded a wider and looser definition, which is separate from "well-formed formula". --prime mover (talk) 21:50, 18 September 2013 (UTC)

That may be reasonable, but then this page ought to move to Category:Definitions instead of MathLog. — Lord_Farin (talk) 06:30, 19 September 2013 (UTC)