Definition. Independent [001G]

A statement is independent of a family of axioms if it can neither be proven nor disproven based on these axioms.