shd · Vovkaez · Jun 16, 2023 · Jun 18, 2023
diff --git a/lection-09.pdf b/lection-09.pdf
diff --git a/lection-09.tex b/lection-09.tex
@@ -101,9 +101,9 @@
 \begin{proof}
  Рассмотрим Ф.А. с классической моделью. \pause
  Из теоремы Гёделя имеем $\not\vdash\sigma(\overline{\ulcorner\sigma\urcorner})$. \pause
- Рассмотрим $\sigma(\overline{\ulcorner\sigma\urcorner}) \equiv \forall p.\neg\omega_1(\overline{\ulcorner\sigma\urcorner}),p$:
+ Рассмотрим $\sigma(\overline{\ulcorner\sigma\urcorner}) \equiv \forall p.\neg\omega_1(\overline{\ulcorner\sigma\urcorner},p)$:
 нет числа $p$, что $p$ --- номер доказательства $\sigma(\overline{\ulcorner\sigma\urcorner})$. \pause 
- То есть, $\llbracket \forall p.\neg\omega_1(\overline{\ulcorner\sigma\urcorner}),p) \rrbracket = \text{И}$. \pause
+ То есть, $\llbracket \forall p.\neg\omega_1(\overline{\ulcorner\sigma\urcorner},p) \rrbracket = \text{И}$. \pause
  То есть, $\models \sigma(\overline{\ulcorner\sigma\urcorner})$.
 \end{proof}
 

diff --git a/lection-11.pdf b/lection-11.pdf
diff --git a/lection-11.tex b/lection-11.tex
@@ -227,7 +227,7 @@
 \end{frame}
 
 \begin{frame}{Кардинальные числа}
-\begin{dfn}Кардинальное число --- наименьший ординал, не равномощный никакому меньшему:
+\begin{dfn}Кардинальное число --- ординал, не равномощный никакому меньшему:
 $$\forall x.x \in c \rightarrow |x| < |c|$$\end{dfn}
 \begin{thm}Конечные ординалы --- кардинальные числа.\end{thm}
 \begin{dfn}Мощность множества $(|S|)$ --- равномощное ему кардинальное число.\end{dfn}