Fermat's Last Theorem and Set Theory, Part II

The expression of Fermat's Last Theorem in terms of set theory is up in the form of a \(\mathrm{\TeX}\) file, a pdf file, and an html file. Warning: The html file uses MathJax and is very slow. As a bonus, I also threw in Goldbach's Conjecture.

Addendum: I found and corrected a typo in the files.