В статье показано, какую роль играет гегелевское различение формальной и содержательной формы в решении проблемы формализации в современной науке, прежде всего, в формализации математики. В связи с проблемой формализации в математике рассмотрена диалектика превращения содержательной причинной зависимости в формальную логическую зависимость, с чем связана "пустота" формализованных логических дедуктивных систе
