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.

Back to article page