系列分集

数理逻辑：符号系统、公式、结构与模型

Fundamentals of Mathematics - Lecture 14: Signatures, Formulas, Structures, Theories, and Models

先把允许使用的符号和能写出的公式分开，再给符号指定解释，检查结构在什么时候满足理论。

Taylor Dupuy · 系列收录

讨论出处