The first measurable hit was performned by who in 1951 ?
A real valued measurable cardinal less than or equal to formula_1 exists if and only if there is a countably additive extension of the Lebesgue measure to all sets of real numbers if and only if there is an atomless probability measure on the power set of some non-empty set ..