極大無矛盾集合の充足可能性補助定理
極大無矛盾集合が充足可能である、ってことを言ってる
定理
極大無矛盾集合$ \Gamma^\astが与えられると、$ \Gamma^\astに属する全ての式を真にする首尾一貫した真理値割り当てが決まる