Set Theory Foundation A Branch of Math- of Math- ematics ematies (Loglc) (a,b) A→B N,R ) AxB RC AxB Hengfeng Wei (hfweixinju.edu.cn) 1-11 Set Theory (IV):Infinity 2019年12月17日2/49Set 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) 1-11 Set Theory (IV): Infinity 2019 年 12 月 17 日 2 / 49