diff options
Diffstat (limited to 'test/examples/russell.tex')
| -rw-r--r-- | test/examples/russell.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/examples/russell.tex b/test/examples/russell.tex index 4c2a8f2..dacd723 100644 --- a/test/examples/russell.tex +++ b/test/examples/russell.tex @@ -11,6 +11,6 @@ Suppose not. Take a universal set $V$. Let $R = \{ x\in V \mid x\not\in x \}$. - Then $R\in R$ iff $R\not\in R$. + $R\in V$ by \cref{universal_set}. Contradiction. \end{proof} |