First-order Language for Sets Cset =fE Parentheses:(,) Variables:,,,. Connectives:∧，V,一，→，分 Quantifiers:廿，3 Equality:= Constants: Functions: Predicates:∈ Everything we consider in Cset is a set. Hengfeng Wei (hfweinju.edu.cn)Set Theory:Axioms and Operations 2019年11月26日10/38First-order Language for Sets LSet = {∈} Parentheses: (,) Variables: x, y, z, · · · Connectives: ∧, ∨, ¬, →, ↔ Quantifiers: ∀, ∃ Equality: = Constants: Functions: Predicates: ∈ Everything we consider in LSet is a set. Hengfeng Wei (hfwei@nju.edu.cn) Set Theory: Axioms and Operations 2019 年 11 月 26 日 10 / 38