clause setのセグメント化

フィードバックといい、証明がどんどんつながっていく、連鎖反応を止めるのがセグメント化。 細胞膜のように、論理の塊を守る。

論理構造を階層化することにもつながる。