formalizace
formalizace, 1. metoda poznání, kdy obsah je odhalován a upřesňován systemizací formy (např. i řeč, písmo); 2. log. a mat. výstavba formalizovaných soustav (kalkulů), v jisté oblasti bezesporných a úplných, pomocí formálně axiomatických konstrukcí. F. teorie je pak uvedení teorie do podoby, kdy každá dosavadní věta této teorie je buď axiómem, nebo ji lze z axiómů odvodit přípustnými operacemi. Obsahově dostatečně bohatá teorie však nemůže být formalizována úplně. V.t. Gödel Kurt; 3. sociol. viz matematická sociologie.
