query: Naive understanding of choice axiom
positive_passages.docid: 144899
positive_passages.text: Do We Need the Axiom of Choice for Finite Sets?
negative_passages.docid: 138897
negative_passages.text: help with some Hilbert style proofs in a propositional logic axiom system.
negative_passages.docid: 64511
negative_passages.text: A weighted version of random.choice
negative_passages.docid: 17624
negative_passages.text: Axiom of Choice iff Every set has a choice function
negative_passages.docid: 72034
negative_passages.text: Truth table and the meaning of $\oplus$ in propositional logic
negative_passages.docid: 29755
negative_passages.text: Power set equivalency of Axiom of Choice
negative_passages.docid: 117661
negative_passages.text: Distribution Axiom of Modal Logic
negative_passages.docid: 94295
negative_passages.text: Pigeonhole-principle with two choices
negative_passages.docid: 43503
negative_passages.text: Bases of complex vector spaces and the axiom of choice
negative_passages.docid: 50506
negative_passages.text: What concept does an open set axiomatise?
negative_passages.docid: 153424
negative_passages.text: Proof of "continuity from above" and "continuity from below" from the axioms of probability
negative_passages.docid: 104636
negative_passages.text: Bayesian Decision theory
negative_passages.docid: 78148
negative_passages.text: Why does the infinite prisoners and hats puzzle require the axiom of choice?
negative_passages.docid: 118189
negative_passages.text: Proving the pairing axiom from the rest of ZF
negative_passages.docid: 130865
negative_passages.text: Why is the axiom of choice separated from the other axioms?
negative_passages.docid: 73589
negative_passages.text: Probability: A flaw in logic? The emperor's proposition with marbles and two urns
negative_passages.docid: 66636
negative_passages.text: Problems with introducing ordered pairs axiomatically