istɲʲˈɛjɔ̃: fskˈaʑɲik  , fɔrmˈuwa ˌɔras fskˈaʑɲik tˈakʲɛ, ʒˈɛ tʃˈɨli pɔfstˈajɛ s pˈɛvnɛj ftʃɛɕɲʲˈɛjʃɛj fɔrmˈuwɨ pʃˈɛz zˌastɔsɔvˈaɲʲɛ rɛɡˈuwɨ pˌɔtstavʲˈaɲʲa;
istnieją: wskaźnik  , formuła  oraz wskaźnik  takie, że  (czyli  powstaje z pewnej wcześniejszej formuły  przez zastosowanie reguły podstawiania);