Formální teorie je jeden z nejduležitejších pojmu matematickologické syntaxe. Mnoho matematických teorií muže být formalizováno volbou vhodných axiomu. Nekteré teorie existují pouze jako teorie formální. Príkladem muže být teorie množin, jejíž neformalizovaná podoba - tzv. naivní teorie množin je sporná.