A formal system may be formulated and studied for its intrinsic properties, or it may be intended as a description (i.e. a model) of external phenomena.
Еден формален систем може да се формулира и изучува заради неговите сопствени својства, или пак за опишување (т.е. моделирање) на надворешни појави.