Also the Axiom of Choice is redundant in CVN, because it a theorem of CVN. The philosophical interest of Cantor-Von Neumann Set-Theory, which is very succinctly indicated, lies in the fact that it is ...