Google 翻译生成的粗略草稿，质量较低。术语依照术语表，但句子可能有误；之后会由仔细的译文取代。

指标的记号

参考号数表示章、截面和小节，其中序。 （R 指结果摘要。）

$\square$、$\tau$、$\vee$、$\neg$、$\Rightarrow$：I.1.1

$\tau_x(A)$、$(B\mid x)A$、$A\{x\}$、$A\{x,y\}$、$A\{B\}$、$A\{B,C\}$：I.1.1

不是 $(A)$、$(A)$ 或 $(B)$、$(A)\Rightarrow(B)$：I.2

“$A$ 和 $B$”：I.3.4

$\Longleftrightarrow$, $A\Longleftrightarrow B$ : I.3.5

$(\exists x)R$, $(\forall x)R$ : I.4.1

$(\exists_Ax)R$, $(\forall_Ax)R$ : I.4.4

$=$、$\ne$、$T=U$、$T\ne U$：I.5.1

$\in$、$\notin$、$T\in U$、$T\notin U$：II.1.1

$\subset$、$\supset$、$\not\subset$、$\not\supset$、$x\subset y$、$x\supset y$：II.1.2

$\mathrm{Coll}_xR$, $\varepsilon_x(R)$ : II.1.4

$\{x,y\}$, $\{x\}$ : II.1.5

$C_XA$、$X-A$、$CA$、$\varnothing$ : II.1.7

$\supset$、$(T,U)$、$\operatorname{pr}_1z$、$\operatorname{pr}_2z$：II.2.1

$A\times B$、$A\times B\times C$、$A\times B\times C\times D$、$(x,y,z)$：II.2.2

$\operatorname{pr}_1\langle G\rangle$、$\operatorname{pr}_2\langle G\rangle$、$\operatorname{pr}_1G$、$\operatorname{pr}_2G$（图）：II.3.1

$G\langle X\rangle$、$G(X)$、$G(x)$（G 图形、X 集合、x 对象）：II.3.1

$\Gamma\langle X\rangle$、$\Gamma(X)$、$\Gamma(x)$（$\Gamma$对应、X集合、x 一个对象）：II.3.1

$\overset{-1}{G}$（G图），$\overset{-1}{\Gamma}$（$\Gamma$对应）：II.3.2

$G'\circ G$、$G'G$（G、G' 图）、$\Gamma'\circ\Gamma$、$\Gamma'\Gamma$（$\Gamma$、$\Gamma'$ 对应）：II.3.3

$\Delta_A$、$I_A$（A 集合）：II.3.3

$f(x)$、$f_x$ (f 函数)、$F(x)$、$F_x$（F 函数图）：II.3.4

$\operatorname{Is}(\Gamma,\Gamma'),\ \operatorname{Ord}(E),\ \lambda<\mu,\ \sum_{i\in I}\lambda_i,\ \prod_{i\in I}\lambda_i,\ \lambda+\mu,\ \mu\lambda,\ \lambda^*(\lambda,\mu,\lambda,\text{order-types})$ : III.2, 习题 13

$\xi^\eta$（$\xi,\eta$序数词）：III.2、习题 18

$\operatorname{Eq}(X,Y),\ \operatorname{Card}(X)$ : III.3.1

$0,1,2$ : III.3.1

$\mathfrak{c}\leq\mathfrak{d}$（$\mathfrak{c},\mathfrak{d}$基数）：III.3.2

$\sup_{i\in I}a_i,\ ((a_i)_{i\in I}$红衣主教家族）：III.3.2

$\sum_{i\in I}a_i,\ \prod_{i\in I}a_i,\ \prod_{i\in I}((a_i)_{i\in I}$红衣主教家族）：III.3.3

$a+b,\ ab$（$a,b$基数）：III.3.3

$a^b$（$a,b$红衣主教）：III.3.5

$3,4$ : III.4.1

$a-b$ ($a,b$ 整数, $b<a$) : III.5.2

$(t_i)_{i\in I},\ (t_i)_{a\leq i\leq b}$ : III.5.4

$\prod_{i\in I}X_i,\ \prod_{i=a}^{b}X_i$ : III.5.4

$\varphi_A$ ($A$ 子集 / 集合 $E$) : III.5.5

$\frac{a}{b},\ a/b$ ($a,b$ 整数 $b$ 除 $a$) : III.5.6

$5,6,7,8,9$ : III.5.7

$n!$ ($n$ 整数) : III.5.8

$\binom{n}{p}$ ($n,p$ 整数) : III.5.8

$\mathbf{N},\ \aleph_0$ : III.6.1

$(x_n)_{n\in\mathbf{N}},\ (x_n)_{k\leq n},\ (x_n)_{n\geq k},\ (x_n)$ : III.6.1

$\prod_{n\in\mathbf{N}}X_n,\ \prod_{n=k}^{\infty}X_n$ : III.6.1

$f^n$ ($f$ 映射) : III.6.2

$\omega_\alpha,\ \aleph_\alpha$（$\alpha$序数）：III.6、习题 10

$\lim_{\leftarrow}E_\alpha$ ($E_\alpha$ 集合) : III.7.1

$\lim_{\leftarrow}u_\alpha$ ($u_\alpha$ 映射) : III.7.2

$\lim_{\alpha,\lambda\leftarrow}E^\lambda_\alpha,\ \lim_{\alpha\leftarrow}E^\lambda_\alpha,\ \lim_{\alpha,\lambda\leftarrow}u^\lambda_\alpha,\ \lim_{\alpha\leftarrow}u^\lambda_\alpha$ : III.7.3

$\lim_{\alpha\leftarrow}E_\alpha$ ($E_\alpha$ 集合) : III.7.5

$\lim_{\alpha\rightarrow}u_\alpha$ ($u_\alpha$ 映射) : III.7.6

$\displaystyle \lim_{\overrightarrow{\alpha,\lambda}} E_\alpha^\lambda,\ \lim_{\overrightarrow{\alpha}} E_\alpha^\lambda,\ \lim_{\overrightarrow{\alpha,\lambda}} u_\alpha^\lambda,\ \lim_{\overrightarrow{\alpha}} u_\alpha^\lambda :$III.7.7

$S(E_1,\ldots,E_n)$（三梯队构造概形、$E_1,\ldots,E_n$集合）： IV.1.1

$\langle f_1,\ldots,f_n\rangle^s$（三梯队构造概形、$f_1,\ldots,f_n$映射）： IV.1.1

$R\{x,y,z\}$：R.1.2

$=,\ne$：R.1.6

$\in,\notin$：R.1.7

$\complement A,\ E-A$：R.1.7

$\varnothing$：R.1.8

$\{a\}$：R.1.9

$\mathfrak{P}(E)$：R.1.10

$\subset,\supset,\subsetneqq,\supsetneqq$：R.1.12

$\cup,\cap$：R.1.13

$\{x,y,z\}$：R.1.13

$X_A$（X子集）：R.1.16

$\mathscr{E}_A$（$\mathscr{E}$集合/子集）：R.1.16

$f(x),\ f_x,\ x\to f(x)$（$f$映射、$x$元素）：R.2.2

$f(X)$（X子集）：R.2.4

$f^{-1}$（$f$映射）：R.2.6

$g\circ f,\ h\circ g\circ f$（$f,g,h$映射）：R.2.11

$f_A$（$f$映射）：R.2.13

$(x_i)_{i\in I},\ (x_i)$：R.2.14

$(x,y)$：R.3.1

$E\times F$（E、F集合）：R.3.1

$\operatorname{pr}_1,\operatorname{pr}_2$：R.3.1

$\Delta$：R.3.4

$Z^{-1}$（乘积的Z子集）：R.3.4

$K(X)$（$E\times F$的K子集，E的X子集）：R.3.6

$K(x)$（$E\times F$的K子集，E的x元素）：R.3.9

$B\circ A,\ BA,\ C\circ B\circ A,\ CBA$（$E\times F$A子集、$F\times G$B子集、$G\times H$C子集）：R.3.10

$(x,y,z)$：R.3.12

$E\times F\times G$：R.3.12

$\operatorname{pr}_{1,2}$：R.3.12