定義1： 論理式の集合（生成系） 定義2： 演繹閉な論理式の集合（順序閉包） 定義3： 証明〈推論規則〉の集合（生成系） 定義4： リーズニング閉な証明〈推論規則〉の集合（リーズニング閉包＝圏） 定義5： 生成系を持つ圏 定義5'： 指標〈生成系〉を持つ圏 …