# 一阶语言　`def.first-order-language`
一阶语言 $\mathcal{L}$（First-Order Language）
layer 0 · 定义 · 一阶语言与公式 · 数理逻辑
[在星图里打开](../#n=def.first-order-language)　·　[节点索引](../index.md)

**一阶语言** $\mathcal{L}$ 由一张**符号表**给定，符号分两类：
> 陈述续见 [nodes/def.first-order-language.2.md](./def.first-order-language.2.md)


## 它能推出什么 / 谁在用它
- 被 [`def.formula`](../nodes/def.formula.md) 公式 用
- 被 [`def.satisfaction`](../nodes/def.satisfaction.md) 满足关系 用

refs: Kunen, Set Theory, I.2；Enderton, A Mathematical Introduction to Logic, Ch. 1

> 说明见 `notes/def.first-order-language.md`

引用：`def.first-order-language`（内容 v0.9.0）· 条款见 [LICENSE.txt](../LICENSE.txt)