formalizovaný -ná -né príd.: odb. f. jazyk ▹ aparát odvodzovania, dokazovania a teórie vedných disciplín (napr. matematiky, logiky, matematickej lingvistiky)