2002/01/01 by Steven G. Krantz · 1 citation
Computer Science · Mathematics · #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Axiom of choice #Axiom independence #Urelement #Zermelo–Fraenkel set theory #Mathematical economics #Mathematics #Axiom #Computer science #Geometry #Programming language #Set theory
paper · doi:10.1007/978-1-4612-0115-1_9
openalex publication_date 2002/01/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/08/04
The Axiom of Choice was first enunciated by Zermelo. The standard formulation is as follows. These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.