diff --git a/lection-09.pdf b/lection-09.pdf
index 8faaf0e..1135749 100644
Binary files a/lection-09.pdf and b/lection-09.pdf differ
diff --git a/lection-09.tex b/lection-09.tex
index 6c86cd6..393e7cc 100644
--- 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
index d732c9e..07bd62b 100644
Binary files a/lection-11.pdf and b/lection-11.pdf differ
diff --git a/lection-11.tex b/lection-11.tex
index f4fe874..a44efed 100644
--- 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}