Todo $G_{\delta}$ é completamente metrizável e portanto espaço de Baire. Se $\mathbb{Q}$ fosse um $G_\delta$, seria espaço de Baire. $\square$