Every set of first-order formulas is equivalent to an independent set

Abstract

A set of first-order formulas, whatever the cardinality of the set of symbols, is equivalent to an independent set.

arXiv commentThis paper is a translation in English from the original paper of Reznikoff (in French,[1]) "Tout ensemble de formules de la logique classique est equivalent a un ensemble independant". It is intended only as a reference, not for publication. It is posted on arXiv with the permission of Dr. Reznikoff who we would like to thank