Словарь по логике

формализм: Направление в обосновании математики. Родоначальником течения считается Д. Гильберт (см.).