query: How important is mathematical logic and set theory in mathematics?
positive_passages.docid: 149506
positive_passages.text: How much set theory and logic should typical algebraists/analysts/geometers know? (soft-question)
negative_passages.docid: 82867
negative_passages.text: What are the prerequisites for studying mathematical logic?
negative_passages.docid: 2334
negative_passages.text: Best book on axiomatic set theory.
negative_passages.docid: 37195
negative_passages.text: Good books on mathematical logic?
negative_passages.docid: 20004
negative_passages.text: Meta Theory when studying Set Theory
negative_passages.docid: 38726
negative_passages.text: What set theory axioms do I need to believe in uncountable ordinals?
negative_passages.docid: 141814
negative_passages.text: Proofs using theorems instead of axioms
negative_passages.docid: 85769
negative_passages.text: Do you need the Axiom of Choice to accept Cantor's Diagonal Proof?
negative_passages.docid: 81122
negative_passages.text: interaction between mathematical structures
negative_passages.docid: 36721
negative_passages.text: Is "The empty set is a subset of any set" a convention?
negative_passages.docid: 108922
negative_passages.text: Cardinality and infinite sets: naturals, integers, rationals, bijections
negative_passages.docid: 53025
negative_passages.text: Why the need of Axiom of Countable Choice?
negative_passages.docid: 116527
negative_passages.text: Validating a proof for necessary and sufficient conditions on sets A & B such that $P(A) \cup P(B) = P(A\cup B)$
negative_passages.docid: 34674
negative_passages.text: Does the proof of Bolzano-Weierstrass theorem require axiom of choice?
negative_passages.docid: 112813
negative_passages.text: Do Category Theory and/or Quantum Logic add value in physics?
negative_passages.docid: 28523
negative_passages.text: When would the intersection of the empty set mean anything?
negative_passages.docid: 16225
negative_passages.text: Set-theoretical definition of function evaluation