химия, биологияда оларды барынша дэл аныктаута тырысады. Бул іъшымдардың сөздіктерінің ѳздері арнайыландырылган. Мысалы, "интеграл", "функция", "матрица" деген ұғымдар мен терминдер тек математикада гана мэн мен магынага ие болады, "масса", "электромагниттік сэт", "гравитация" жэне т.б. терминдер физикада катан аныкталган. Ал "түр", "мутация", "биоценоз" жэне т.б. биологияға тэн.‘Сѳздік пен грамматикалык ережелердің каталдыгы мен айкындығы - ғылым тілдеріне тэн ерекшеліктер. Алайда олар мәні жағынан өзі пайда болып жэне дамитын негіз болып табылатын кэдуілгі тілден аса алшактап кетпейді. Формалдык тілдер ерекше топты кұрайды. Мұндай тілдерді жасанды тілдер деп те атайды, өйткені бұл тілдерде дұрыс сөйлем кұрастыру ережелеріне бір дұрыс сөйлемнің екіншісіне формалды айналу ережесі косылады. Бұл тілдердің айшықты мысалына математикалык есептеулерді жаткызуға болады. Қандай да бір есептеуге белгілі бір түпкі сөйлемдердің (формалар, теоремалар) сәйкестігін жэне оларды өзгерту ережелерін біле отырып, математика өзге формалар мен сөйлемдердің шексіз тізбегін кұрастыра алады. Оның барысында ол ең алдымен түркі сөйлемдердің түрін, олардың ішкі кұрылымын есепке алады да, көбіне олардың мазмұнына көңіл аудармайды. Сондыктан бір формадан келесілерін шығарудың бұл тэсілі формалды деп аталады. Математикалык есептеулердің формалды дамуы, эрине, зерттелетін объектілердің қасиеттерін, олардың байланыстары мен өзара
