Skip to main content
2 of 2
added link to "Tarski axiom"
Todd Trimble
  • 53.3k
  • 6
  • 205
  • 322

Can the axiom of choice be proved with ZF+Tarski axiom?

Can choice be proved with ZF+Tarski axiom?