Hierarchy non-collapse describes a property of V itself (the intended universe), not merely of forma...
This proposition has not been edited since the history system was added.