Bajo AC no existe una medida miu sobre R que sea extensión de la de Lebesgue. Bajo ciertas condiciones y con AC se puede probar que existe una medida sobre R pero HC falla. Además, si existe una medida sobre A, existe una medida bivaluada sobre X o sobre 2^aleph cero.
