Comment by thaumasiotes

> Does a solid knowledge of, e,g, Set Theory, give any benefit later in life?

Is there any benefit to being able to distinguish logical entailments from non sequiturs?

The things that are taught under the label "set theory" are taught elsewhere under the label "basic logic". The most primitive symbols are intentionally matched: in logic, "and" is ∧ and "or" is ∨, while in set theory, "and" is ⋂ and "or" is ⋃.

The symbols stop matching quite that well after that - compare logical ⟶ and ¬ to set-theoretic ⊆ and ᶜ - but they continue to consist of the same material.