Foirmiúlachas (matamaitic)

I bhfealsúnacht na matamaitice, is éard atá san fhoirmiúlachas ná an dearcadh nach bhfuil i ráitis mhatamaiticiúla nó loighciúla ach teaghráin (seichimh siombailí alfa-uimhriúla, go minic mar chothromóidí) a fhaightear trí rialacha réamhbhunaithe láimhsithe. De réir na fealsúnachta seo, ní bhaineann fírinní matamaiticiúla le huimhreacha, tacair, nó triantáin; ina áit sin, is éard atá iontu ná foirmeacha comhréireacha nach bhfuil brí ar bith ag baint leo, mura gceanglaítear séimeantaic leo d'aon ghnó. Ba é David Hilbert an matamaiticeoir is clúití a thug tacaíocht don dearcadh seo i dtús na 20ú haois.