主要公开日志

所有GSXAB的知识库公开日志的联合展示。您可以通过选择日志类型、输入用户名（区分大小写）或相关页面（区分大小写）筛选日志条目。

• 2023年7月14日 (五) 05:02 Gsxab 留言 贡献创建了页面同构（模型） （创建页面，内容为“{{InfoBox |name=模型同构 |eng_name=isomorphism of models }} 模型的同构指两个模型有相同的构造。 == 定义 == 对模型 <math>\mathfrak{A}=\langle A,I \rangle,\mathfrak{B}=\langle B,J \rangle</math> ，若存在双射 <math>f: A\to B</math> 使得： * 对任意个体常项 <math>c</math> ， <math>f(c^{\mathfrak{A}}) = c^{\mathfrak{B}}</math> * 对任意 <math>n</math> 元谓词 <math>P</math> ，及 <math>a_1, \dots, a_n \in A</math>…”）