>>168
ブール代数の極大イデアルの元を冪にする実数の集合が非可測だと示して