Wiki. 一阶语言的解释 [一阶语言的解释]

一阶语言可以在 ($1$-)范畴中获得语义.