syans fòmèl yo (oubyen syans lojiko-fòmèl) eksplore dediktivman, selon yon bann règ ki pou fòmasyon e ki pou demonstrasyon, debann sistèm aksyomatik yo. Syans yo ki fòmèl regwoupe matematik la, lojik lan e enfòmatik teyorik.

aljèb se branch lan ki pou matematik ki etidye tout strikti aljebrik, endepsndàman pou nosyon an ki pou limit (ratache ak analiz) e pou nosyon an ki pou reprezantasyon grafik (ratache ak jewometri).

Etid pou tout estrikti aljebrik ka fè t nan mannyè inifye nan kad la ki pou aljèb inivèsèl.