Skip to content

Instantly share code, notes, and snippets.

@justinmeiners
Created June 16, 2019 04:03
Show Gist options
  • Save justinmeiners/5ac599ebfa29fc6e9292ead3698150ca to your computer and use it in GitHub Desktop.
Save justinmeiners/5ac599ebfa29fc6e9292ead3698150ca to your computer and use it in GitHub Desktop.

The axiom of choice says that for an infinite set of disjoint nonempty sets, we can find a set with one element from each. In others we can choose an element.

The axiom of choice is needed only when there is no clear way to choose. For example if the disjoint sets were integers, we could always explicitly pick the smallest, but for sets of sets, there isn't a clear way to pick.

Finite Set proof

Axiom of Choice = Cartesian Product

It postulates the existence of a set which is not uniquely determined, of which we know only some properties.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment