This quote was added by
sjdfio

One does not need to invoke the axiom of choice to construct a choice function on a finite number of sets. This can be done using existential instantiation a finite number of times. Nor is the axiom necessarily needed to construct a choice function on an infinite collection of sets. For example, if the union of such a collection has a bijective correspondence with a well-ordered set. The axiom of choice is only needed when constructing a choice function would require infinitely many steps.
3.8 out of 5
based on 6 ratings.

Sorry about the typos! This is the first quote I submitted here, and was a stream of consciousness I typed out quickly. I didn't realize it would be difficult to remove/edit once I hit submit.

Name | WPM | Accuracy |
---|---|---|

venerated | 132.35 | 96.9% |

strikeemblem | 114.35 | 96.5% |

user975182 | 113.34 | 93.8% |

abuhurairah | 113.17 | 97.1% |

feuv | 113.09 | 93.6% |

ludbee | 112.40 | 96.3% |

user104799 | 111.92 | 97.2% |

spiritowl | 110.62 | 98.2% |

rivendellis | 107.94 | 94.3% |

bnito4prez | 104.91 | 96.9% |

Name | WPM | Accuracy |
---|---|---|

thecrazydane2 | 69.24 | 92.5% |

user409662 | 79.77 | 92.5% |

peachflavoredrings | 79.13 | 93.6% |

stevendiao | 81.78 | 94.5% |

nobleinfantry | 75.63 | 93.9% |

keyboarder902 | 60.60 | 96.1% |

user90757 | 86.99 | 97.4% |

mohd_talib | 58.56 | 96.3% |