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