Comment Comment by tromp Out of these 100 famous theorems, only33. Fermat's Last Theoremhas yet to be proven in a formal system. It's like Formal's Last Theorem :-) parent tromp 3 years ago
33. Fermat's Last Theorem
has yet to be proven in a formal system. It's like Formal's Last Theorem :-)