可換図式に関して： fillable -- 可換図式を満たす射が存在する。 unique if fillable -- もしfillableなら、そのような射達（filling）は一意的 uniquely fillable -- fillableで、fillingが一意的。 u.t.i if fillable -- もしfillableなら、そのような射…

フレイドの図式的論理式記法だが、えらい誤解をしていた。「!」は「∃!」の略記ではない。「!」は「もし存在するなら一意的」の意味。実際に存在することはまったく主張してない。 !x.P(x) ≡ ∀x, y.(P(x)∧P(y)⊃ x = y)