Формализация (Кузнецов, 2007)
ФОРМАЛИЗАЦИЯ - метод выявления и уточнения научного знания путем придания ему строго фиксированной формы. Одним из таких методов является аксиоматизация, т.е. построение аксиоматической теории. В этом случае исходному знанию, которое первоначально является интуитивным, носит содержательный характер и описывается на естественном языке, придается определенная структура — выделяются наиболее общие утверждения, которым придается статус аксиом, все остальные положения теории выводятся чисто логически из этих аксиом в качестве теорем; все термины, кроме исходных, входящих в аксиомы, вводятся по определению и их можно использовать только в смысле данных определений. Впервые метод Ф. был применен Аристотелем при построении первой логической теории — силлогистики...