(Q2908743)

English

Tarski's theorem

theorem equivalent to the Axiom of Choice

Statements

Identifiers

0 references
 
edit
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit