Apart from the choice between denotational, operational, or axiomatic approaches, most variation in formal semantic systems arises from the choice of supporting mathematical formalism.
Osim izbora između denotacijskog, operacijskog i aksiomatskog pristupa, većina varijacija u sustavima formalne semantike izniče iz izbora podržavajućeg matematičkog formalizma.