Příspěvek k problematice formalizace v jazykovědě: možnosti řešení různých případů kongruence