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}\).