FOM: Cantor's theorem of little interest in constructive math

[Kanovei]

>From: Ayan <amah8857 at brain.math.fau.edu>

>there are more Lebesgue measurable sets than Borel 
measurable using the completeness of L-measure and the cantor set. Does 
anybody know of any argument to bypass the obvious use of cardinality here

One easily obtains LM but not Borel subset of R using axiom of 
choice. If AC is not permitted the notion of Borel set needs to 
be adjusted (otherwise all sets can be Borel). 

V.Kanovei