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.
Ένα τυπικό σύστημα μπορεί να διατυπωθεί και να μελετηθεί για τις εγγενείς του ιδιότητες, ή μπορεί να έχει στόχο την περιγραφή εξωτερικών φαινομένων (μοντέλο).