DavidSuperior400 DavidSuperior400 13-05-2023 Mathematics contestada show that the subset axioms are provable from the other axioms