Fix typo reported in #339

OpenLogicProject · Oct 8, 2023 · d4e99d0 · d4e99d0
1 parent cbfdd0a
commit d4e99d0
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/content/computability/computability-theory/russells-paradox.tex b/content/computability/computability-theory/russells-paradox.tex
@@ -12,8 +12,8 @@
 It is instructive to compare and contrast the arguments in
 this section with Russell's paradox:
 \begin{enumerate}
-\item Russell's paradox: let $S = \Setabs{x}{x \notin x}$. Then $x
-  \in S$ if and only if $x \notin S$, a contradiction.
+\item Russell's paradox: let $S = \Setabs{x}{x \notin x}$. Then $S
+  \in S$ if and only if $X \notin S$, a contradiction.
 
   \emph{Conclusion:} There is no such set~$S$. Assuming the existence of a
   ``set of all sets'' is inconsistent with the other axioms of set