fɔrmˈalɲʲɛ sɔ̃ tɔ fɔrmˈuwɨ zdaɲʲˈɔvɛ, zˌapisɨvˈanɛ w jɛ̃zˈɨku dˈanɛj tɛˈɔrji z uʒˈɨtɕɛm sɨmbˈɔli jɛj jɛ̃zˈɨka i dˌɔdatkˈɔvɔ sɨmbˈɔli lɔɡʲˈitʃnɨx, f tɨm kfˌantɨfˌikatˈɔruf.
Formalnie są to formuły zdaniowe, zapisywane w języku danej teorii z użyciem symboli jej języka i dodatkowo symboli logicznych, w tym kwantyfikatorów.