Axioms for the “Gergonne”-relations
Ivo Thomas, Don Orth · Journal of Symbolic Logic · 1959
Independence of axioms was not investigated in [Faris]. We show that this quality is lacking, since 2 can be derived from the rest, which without it constitute an independent set. In the proofs of independence it is clearly more informative to decompose 9, C1abKN2abKN3abN5ab and 10, C3abKN2abN5ab into three and two propositions respectively.