Բանաձևերի լուծելիություն տեսություններում