利用者:Tkcom/加筆･作成したい数学の項目/独立性 (数理論理学)

数理論理学における独立性(independence)とは、論理的文たちからほかのある文への証明不可能性をさす。

与えられた一階理論T から証明も反証もできないとき、文σはT から独立(independent)であるという。 つまり、T からσの証明が不可能であり、T から、σが偽であることの証明もまた不可能であるということである。 これは決定問題における決定性(decidability)と違う意味で用いられるが、このことはσはT から決定不可能(undecidable)といわれることもある。