Can anyone give an example of a Meagre subset of $\mathbb{R}$ (i.e., of the first Baire Category), which isn't an $F_\sigma$?
Simple cardinality arguments show that such a thing exists, but I can't really think of one. Maybe it's impossible to explicitly construct one? A proof (not using cardinalities) would be welcome too (Axiom of Choice, perhaps?).