I et formelt system for beskrivelse av formler (termer, proposisjoner, grammatikker, etc.) er normale former formler som tilfredsstiller visse "gode" egenskaper som gjør dem på en bestemt måte mer adekvate formler enn andre.