Note que $\mathbb{R}\setminus\mathbb{Q}$ é metrizável e que as propriedades que caracterizam o espaço de Baire são invariantes topológicos.
Logo, segue direto do teorema que $\mathbb{R}\setminus\mathbb{Q}$ é de Baire. $\square$