用户讨论: 不萌/Löwenheim–Skolem 定理

关于此版块

不可编辑

本站内容使用 CC BY-SA 4.0 授权。

发起新话题

elementary 应当翻译为 “初等”

2 个评论 • 2021 年 12 月 15 日 (三) 11:49 2021 年 12 月 15 日 (三) 11:49

2

数学迷 (讨论贡献)

“基本” 是 fundamental

2021 年 12 月 15 日 (三) 11:48 2021 年 12 月 15 日 (三) 11:48

数学迷 (讨论贡献)

这里的意思也是初等语句在大小两个模型中具有同样的真值, 如果我没记错的话.

2021 年 12 月 15 日 (三) 11:49 2021 年 12 月 15 日 (三) 11:49

没有更早的话题

取自 “https://www.bananaspace.org/wiki/用户讨论:不萌/Löwenheim–Skolem_定理”