Unabhängigkeit (mathematische Logik)

die Eigenschaft einer Menge X von Ausdrücken, dass kein Ausdruck von X aus den anderen Ausdrücken logisch ableitbar ist. Mit X sind auch alle Teilmengen von X unabhängig und umgekehrt folgt die Unabhängigkeit von X schon aus der Unabhängigkeit aller endlicher Teilmengen von X. Die bekannten Axiomensysteme der axiomatischen Mengenlehre