---
url: FOL.language.extension
---

# 一阶逻辑 ▸ 语言 ▸ 扩张

```agda
open import Foundation.Essential
module FOL.Language.Extension where
```

---
> 知识共享许可协议: [CC-BY-NC-SA 4.0](https://creativecommons.org/licenses/by-nc-sa/4.0/deed.zh)  
> [GitHub](https://github.com/choukh/MetaLogic/blob/main/src/FOL/Language/Extension.lagda.md) | [GitHub Pages](https://choukh.github.io/MetaLogic/FOL.Language.Extension.html) | [语雀](https://www.yuque.com/ocau/metalogic/FOL.language.extension)  
> 交流Q群: 893531731
