The von Neumann axiom invoked in P2 is specific to NBG/MK class theories and cannot ground a theory-...