Уточнение понятий и суждений научного языка с помощью средств символической или математической логики.

К сожалению, у нас пока нет статистики ответов на данный вопрос, но мы работаем над этим.