"Every implication consist of pair of postulates, which are required to be inconsistent mutually, or they could be replaced by single one and whole theory would become a tautology."

Can you give a reference to an actual logician who agrees with that statement?