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.
Një sistem formal mund të formulohet dhe studiohet për vetitë e tij karakteristike, ose mund të shërbejë si një përshkrim (psh një model) për dukuri të jashtme.