1-11 Set Theory (IV):Infinity 魏恒峰 hfwei@nju.edu.cn 2019年12月17日 4口·￥①，43，t夏，里Q0 Hengfeng Wei (hfweiinju.edu.cn)1-11 Set Theory (IV):Infinity 2019年12月17日1/49
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1-11 Set Theory (IV): Infinity 魏恒峰 hfwei@nju.edu.cn 2019 年 12 月 17 日 Hengfeng Wei (hfwei@nju.edu.cn) 1-11 Set Theory (IV): Infinity 2019 年 12 月 17 日 1 / 49
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 (TV):Infinity 2019年12月17日2/49
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 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) 1-11 Set Theory (IV): Infinity 2019 年 12 月 17 日 2 / 49
Georg Cantor (1845-1918) 4口·￥①，43，t夏，里Q0 Hengfeng Wei (hfweiinju.edu.cn)1-11 Set Theory (IV):Infinity 2019年12月17日3/49
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Georg Cantor (1845 – 1918) Leopold Kronecker (1823 – 1891) Henri Poincaré (1854 – 1912) Ludwig Wittgenstein (1889 – 1951) Hengfeng Wei (hfwei@nju.edu.cn) 1-11 Set Theory (IV): Infinity 2019 年 12 月 17 日 3 / 49
Georg Cantor (1845-1918) Leopold Kronecker (1823-1891) 4口·￥①，43，t夏，里Q0 Hengfeng Wei (hfweiinju.edu.cn)1-11 Set Theory (IV):Infinity 2019年12月17日3/49
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Georg Cantor (1845 – 1918) Leopold Kronecker (1823 – 1891) Henri Poincaré (1854 – 1912) Ludwig Wittgenstein (1889 – 1951) Hengfeng Wei (hfwei@nju.edu.cn) 1-11 Set Theory (IV): Infinity 2019 年 12 月 17 日 3 / 49
Georg Cantor (1845-1918) Leopold Kronecker Henri Poincare (1823-1891) (1854-1912) 4口，￥①，4子，t夏2)Q0 Hengfeng Wei (hfweignju.edu.cn) 1-11 Set Theory (IV):Infinity 2019年12月17日3/49
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Georg Cantor (1845 – 1918) Leopold Kronecker (1823 – 1891) Henri Poincaré (1854 – 1912) Ludwig Wittgenstein (1889 – 1951) Hengfeng Wei (hfwei@nju.edu.cn) 1-11 Set Theory (IV): Infinity 2019 年 12 月 17 日 3 / 49