This paper presents excerpts of the discussion about the problem of existence for functions in each one of Baire' s classes.First, it sets up the historical problem, introducing four existential categories, and then it shows Luzin' s position and reframes it in terms of Cavaillès and Gardies' theory of thematization.