Método formal