He estado pensando en qué tipo de funciones salvajes no medibles puedes definir. Esto me llevó a la pregunta:
¿Es posible probar en ZFC, que si un conjunto de (Edit: measurabel) $A\subset \mathbb{R}$ tiene una medida de Lebesgue positiva, tiene la misma cardinalidad que $\mathbb{R}$? Es obvio si asumes CH, pero ¿puedes probarlo sin CH?