Set Theory Foundation A Branch of Math- of Math- ematics ematies (Loglc) (a,b) A→B N,R ) AxB RC AxB Hengfeng Wei (fweiinju.edu.cn Set Theory:Axioms and Operations 2019年11月26日2/38. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Set Theory A Branch of Mathematics N, R ℵ0 ω Foundation of Mathematics (+ Logic) (a, b) {} A × B R ⊆ A × B f : A → B Hengfeng Wei (hfwei@nju.edu.cn) Set Theory: Axioms and Operations 2019 年 11 月 26 日 2 / 38