模板讨论: 集合论

关于此版块

不可编辑

Akation (讨论贡献)

从数理逻辑的角度看, 一个理论是由若干个命题组成, 其中命题称之为公理, 那么假设的命题也是当作理论的成员, 应该也被称之为公理.

Master (讨论贡献)

虽然二者本质相同, 但在应用中的地位却不同. 一些是普遍接受的假设, 另一些则不然.

不萌 (讨论贡献)

看常见用法叫什么就叫什么了, DC, AD 这种一般都叫作公理吧, 但是 V=L,CH 一般都叫作假设了.

没有更早的话题