Every set of first-order formulas is equivalent to an independent set
  A set of first-order formulas, whatever the cardinality of the set of symbols, is equivalent to an independent set. 
Ioannis Souldatos (for the translation), I. Reznikoff (for the   original French)
math.LO