相关更改
外观
←真值表
输入页面名称以查看链入(或链自)相关页面的更改。(要查看分类的成员,请输入Category:分类名称)。对您的监视列表上页面的更改以粗体显示。
缩写列表:
2025年7月27日 (星期日)
- 差异历史 小 冯诺伊曼-博内斯-哥德尔集合论05:35 0 C44986054 留言 贡献 (→外延定理)标签:可视化编辑
- 差异历史 冯诺伊曼-博内斯-哥德尔集合论05:32 −1 C44986054 留言 贡献标签:可视化编辑
2025年7月24日 (星期四)
- 差异历史 小 全称量化16:41 −4 UU 留言 贡献
- 差异历史 小 存在量化16:40 +6 UU 留言 贡献
- 差异历史 小 勒文海姆–斯科伦定理04:30 +12 Stanley1107 留言 贡献 (lang-en標籤)
- 差异历史 冯诺伊曼-博内斯-哥德尔集合论04:00 +55 Zhenqinli 留言 贡献 (+ref)
- 差异历史 冯诺伊曼-博内斯-哥德尔集合论03:53 −52 C44986054 留言 贡献 (NBG本身不能推出選擇公理,跟ZF一樣需額外假設。)标签:可视化编辑
2025年7月23日 (星期三)
2025年7月21日 (星期一)
- 差异历史 Module:Ilh/data16:09 +3,833 Ericliu1912 留言 贡献 (依據編輯請求更新頁面)
- 差异历史 小 邏輯真理07:07 +3 AromaTake 留言 贡献 (使用HotCat已移除Category:逻辑连词; 已添加Category:邏輯聯結詞)