Postup, jak se přiblížit podstatě jevu tím, že se jeho vyjádření záměrně uspořádá do přesné a kontrolovatelné formy, například do modelu nebo systému pravidel, aby bylo možné s obsahem lépe pracovat a porovnávat jej.
V logice a matematice převedení úvah, tvrzení či problému do formálního jazyka s jednoznačnými znaky, strukturou a pravidly odvozování, což umožňuje přesnější argumentaci, dokazování i strojové zpracování.