>>329

つまり、>>323は一般には「偽」である事が証明できる
と言う意味でしょうか?それとも、推移モデルの存在が
仮定されるのであれば、「真」と言う事でしょうか?

推移モデルの存在の仮定とは、>>329そのものとは
また違うのでしょうか?