ほいよ

https://scholarpublishing.org/sse/
Services for Science and Education Ltd
https://scholarpublishing.org/sse/wp-content/uploads/2018/08/10.14738tnc.092018.1_global-set-theory_2018.pdf
Satoko Titani
Global Set Theory
Society for Science and Education (United Kingdom)

Dedicated to Professor Gaisi Takeuti (1925 ? 2017)

Contents
1 Basic set theory 11
1.1 Naive set theory . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.2 Formal system of set theory . . . . . . . . . . . . . . . . . . . 16
1.2.1 Gentzen’s formal system of logic . . . . . . . . . . . . . 17
1.2.2 Inference rules of LK and LJ . . . . . . . . . . . . . . . 18
1.2.3 Axioms of set theory . . . . . . . . . . . . . . . . . . . 22
1.3 Construction of mathematics in ZFC . . . . . . . . . . . . . . 24
1.3.1 Definition of sets . . . . . . . . . . . . . . . . . . . . . 24
1.3.2 Ordered pairs . . . . . . . . . . . . . . . . . . . . . . . 25
1.3.3 Relations . . . . . . . . . . . . . . . . . . . . . . . . . 25
1.3.4 Functions . . . . . . . . . . . . . . . . . . . . . . . . . 26
1.3.5 Equivalence relation . . . . . . . . . . . . . . . . . . . 26
1.3.6 Natural numbers . . . . . . . . . . . . . . . . . . . . . 27
1.3.7 Operations on the natural numbers . . . . . . . . . . . 32
1.3.8 Ordinals . . . . . . . . . . . . . . . . . . . . . . . . . . 39
1.3.9 Integer . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
1.3.10 Rational number . . . . . . . . . . . . . . . . . . . . . 42
1.3.11 Real number . . . . . . . . . . . . . . . . . . . . . . . . 43
1.3.12 Complex number . . . . . . . . . . . . . . . . . . . . . 44
1.3.13 Universe of ZFC . . . . . . . . . . . . . . . . . . . . . . 44