Propositions show what they say: tautologies and contradictions show that they say nothing.
All mathematics is tautology.