Формализм (философия математики)
1) направление в философии математики XX в. (Гильберт, Гёдель и др.), считавшее классическую (содержательную) математику достаточно надежным видом знания с точки зрения его практического использования в науке и практике, однако недостаточно строго построенным и обоснованным с точки зрения логических критериев.