Формализм в математике, см. Математический формализм.