Source: cirosantilli/independence-mathematical-logic
= Independence
{disambiguate=mathematical logic}
{wiki}
= Independent
{disambiguate=mathematical logic}
{synonym}
A <theorem> is said to be independent from a set of <axioms> if it cannot be proven neither true nor false from those axioms.
It or its negation could therefore be arbitrarily added to the set of axioms.