If V and ℘₁(V) have different cardinalities in NFU, this reflects fundamental ontological asymmetry ...
This proposition has not been edited since the history system was added.