親子関係で入れ子になった指標＝ジニアロジーの書き方はまだ試行錯誤だけど、ともかくも、いくつかの論理的概念の定義を試みる。 3-signature { sort LoicalCat 2-signature { /* Cは論理的圏の構造を持った圏 Cでは、対象定数_Bや指数ベキが意味を持つ。 */…