Valem
Valemiks nimetatakse matemaatikas ja selle rakendustes tavaliselt sümbolite (matemaatiliste märkide, tähtede ja nii edasi) mõtestatud kombinatsiooni. Kitsamalt on valemit määratletud ka matemaatiliste märkide kombinatsioonina, millega väljendatakse mingit väidet. Valemite abil saab esitada näiteks propositsioone, avaldisi ja definitsioone. Valemi abil võib väljendada näiteks teatud kvantitatiivsete suuruste omavahelist seost või loogilist seost väidete vahel (loogikavalem).