| ▲ | warkdarrior 4 hours ago | |
> Math theorems are tautologies Proven math theorems are tautologies. | ||
| ▲ | fspeech 4 hours ago | parent | next [-] | |
FLT was no less a tautology before it was proved. We just weren't sure about it. Proofs only change us, not math. | ||
| ▲ | fspeech 4 hours ago | parent | prev [-] | |
True. | ||