Skip to main content
2 of 3
deleted 90 characters in body
Clement Yung
  • 1.4k
  • 6
  • 22

Actually, $\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}$.

Let $X \subseteq \mathbb{R}$ be non-measurable. Then $X = (X \cap [0,\infty)) \cup (X \cap (-\infty,0)) =: A \cup B$. If both $A$ and $B$ are measurable, then $X$ must also be measurable, at it is a finite union of measurable sets. Thus, we must have that either $A$ or $B$ is non-measurable, and we can then apply the argument in Hanul Jeon's comment.

Clement Yung
  • 1.4k
  • 6
  • 22