Fermat's Last Theorem and Set Theory, Part III

After noticing that the incomprehensibility of the results of expressing Fermat's Last Theorem in set theory rivals that of machine code, I wondered if it's possible to write a compiler in $\mathrm{\TeX}$. It's possible to write a Basic interpreter in $\mathrm{\TeX}$.