You know, everything in mathematics is a deductive argument and nobody ever seems to complain about the tautological nature of that. In fact, you still wind up with new-looking statements that amount to new information at the time you deduce them, even if they're ultimately based upon a few already-familiar assumptions, postulates, and prior conclusions from same.
To God, wouldn't everything be a tautology? Who complains about that?