"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."

In my opinion this is not only not a logical statement, it is also factually incorrect, if only because inconsistency does not necessarily imply similarity.