Apart from the choice between denotational, operational, or axiomatic approaches, most variation in formal semantic systems arises from the choice of supporting mathematical formalism.
Mimo volby mezi denotačním, operačním a axiomatickým přístupem, většina rozdílů ve formální sémantice vyplývá z volby podpory matematického formalismu.