логическая независимость

Мат. logical independence