Формализация

В результате аксиоматизации теории и точного установления необходимых для ее развертывания ло­гических средств научная теория может быть представ­лена в таком виде, что любое ее доказуемое утвержде­ние представляет собой либо одно из исходных ее ут­верждений (аксиому), либо результат применения к ним четко фиксированного множества логических правил вывода. Если же наряду с аксиоматизацией и точным установлением логических средств понятия и выражения данной теории заменяются некоторыми символическими обозначениями, научная теория пре­вращается в формальную систему.

Формализация – отображение содержательного зна­ния в знаково-символическом виде. Формализация бази­руется на различении естественных и искусственных язы­ках.