Von Neumann's Limitation of Size directly entails Replacement: any class mapping to a set must be a ...
This proposition has not been edited since the history system was added.