Skip to main content
1 of 3
Clement Yung
  • 1.4k
  • 6
  • 22

$\mathsf{ZF}$ easily proves that if there exists at least one non-measurable subset of $\mathbb{R}$, then there must be $2^\mathfrak{c}$ non-measurable subsets of $\mathbb{R}$.

We just need to show that there exists a non-measurable subset of some interval $(a,b)$, then apply Hanul Jeon's comment. Let $X \subseteq \mathbb{R}$ be non-measurable. Then $X = \bigsqcup_{n \in \mathbb{Z}} X \cap (n,n + 1]$. If all $X \cap (n,n+1]$ are measurable, then $X$ must also be measurable, at it is a countable union of measurable sets. Thus, there exists an $n \in \mathbb{Z}$ in which $X \cap (n,n+1] \subseteq (n,n+2)$ is not measurable.

Clement Yung
  • 1.4k
  • 6
  • 22