Even under Foundation, ℘* refers to power-set under different accessibility conditions—these referen...
This proposition has not been edited since the history system was added.