On the countable Dedekind real numbers:
For a polynomial function whose Lebesgue measurability is independent of ZFC, see: