Special:EditPage/Von Neumann cardinal assignment