НЕЗАВИСИМОСТЬ в

логике и математике, невыводимость (недоказуемость) предложения нек-рой теории (или выражающей его формулы соответствующего исчисления) и его отрицания из данной совокупности предложений (конъюн