query: Axiomatic system or Set theory
positive_passages.docid: 18364
positive_passages.text: When does the set enter set theory?
negative_passages.docid: 9330
negative_passages.text: Meaning behind Filter in Set Theory
negative_passages.docid: 41937
negative_passages.text: Can one construct a non-measurable set without Axiom of choice?
negative_passages.docid: 20252
negative_passages.text: The Axiom of Choice and the Cartesian Product.
negative_passages.docid: 47697
negative_passages.text: Russell's paradox: a set cannot contain its own powerset
negative_passages.docid: 61747
negative_passages.text: Proof of exchange principle in set theory
negative_passages.docid: 77548
negative_passages.text: Given an arbitrary infinite set $S$, how to construct an injection $\mathbb{N} \to S$ with the Axiom of Choice?
negative_passages.docid: 27107
negative_passages.text: intersection of the empty set and vacuous truth
negative_passages.docid: 50506
negative_passages.text: What concept does an open set axiomatise?
negative_passages.docid: 17624
negative_passages.text: Axiom of Choice iff Every set has a choice function
negative_passages.docid: 29755
negative_passages.text: Power set equivalency of Axiom of Choice
negative_passages.docid: 69337
negative_passages.text: Zorn's Lemma And Axiom of Choice
negative_passages.docid: 16225
negative_passages.text: Set-theoretical definition of function evaluation
negative_passages.docid: 27600
negative_passages.text: Gödel's (in)completeness theorems and the axiomatization of Euclidean geometry
negative_passages.docid: 95042
negative_passages.text: Textbooks on set theory
negative_passages.docid: 65316
negative_passages.text: Explaining Infinite Sets and The Fault in Our Stars
negative_passages.docid: 43503
negative_passages.text: Bases of complex vector spaces and the axiom of choice