二項関係とかグラフ構造による説明と連続性とか無矛盾律とかの話がどうつながってるのかまるでわからない、わからないがこう書いていたらわかりみが一瞬遠くの蜃気楼のようにおぼろげに見えた気がしたが気のせいかもしれない