>829
σ と 独立な形式体系という2つの組の例をあげないと答えにならないのでは、、、。
そのような例をあげることができる人には、(x＝0∧σ)∨(x＝1∧¬σ) もわかる
からヒントになっているのかな？