Una '''fòrmula''' és una seqüència o [[cadena de caràcters]] els símbols dels quals pertanyen a un [[llenguage formal]], de tal manera que l'expressió complix certes regles de [[Fòrmula ben formada|bona formació]] i que admet una interpretació consistent en alguna àrea de la [[matemàtica]] i en uns atres [[Sistema formal|sistemes formals]]. Esta té la finalitat d'expressar una relació general entre els térmens expressats en la fòrmula. | Una '''fòrmula''' és una seqüència o [[cadena de caràcters]] els símbols dels quals pertanyen a un [[llenguage formal]], de tal manera que l'expressió complix certes regles de [[Fòrmula ben formada|bona formació]] i que admet una interpretació consistent en alguna àrea de la [[matemàtica]] i en uns atres [[Sistema formal|sistemes formals]]. Esta té la finalitat d'expressar una relació general entre els térmens expressats en la fòrmula. |