 ST6 is axiom FRG-1 of Frege's PC.Each of Frege's axioms can be derived from the standard axioms, and each of the standard axioms can be derived from Frege's axioms.This means that the two sets of axioms are interdependent and there is no axiom in one set which is independent from the other set.