problema formal