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