まとめは「一貫性のまとめ」にある。
「一貫性公理」は曖昧でヤバいから使用禁止とする。次を使う。
- 一貫性の基本射〈elementary morphism〉
- 基本射が同型なら基本同型射〈elementary isomorphism〉
- 一貫性条件： 基本射の組み合わせに対する等式の組
- 一貫性： 基本射の任意の（しかし合法な）組み合わせは、やせた圏となる。
- 一貫性定理： 一貫性条件を満たす圏は一貫性を持つ。
- 一貫性要求： 一貫性定理が成立することの要求。
- 一貫性問題： 与えられた一貫性条件が、一貫性を導くか？ という問題。YESと答えるには一貫性定理を証明する。
この前提で、逆一貫性問題と、逆一貫性問題の文脈での一貫性定理を考える。
- 逆一貫性問題： 一貫性定理を成立させる一貫性条件を見つけよ。
- 逆一貫性問題の検証： 一貫性問題の解候補として選んだ一貫性条件が、実際に一貫性を導くことの証明。
