问道研究
问道研究所
Science of Generation
首页
学科主页
认识学科
学科概览
学科地图
条目索引
核心概念
学科史与年表
学习与研究
入门指南
问题地图
核心文献
资源与工具
参与
撰稿指南
编辑方针
引用本站
常见问题
关于
人物与编委
关于本站
社交
检索
夜读
选择语言
中文 (中国)
中文 (台灣)
English
学科主页
命题库
术语
文献
九级说明
更正
须拒斥
变动日志
方法说明
English
本原方程
primordial equation
取代公理的不动点方程
词典级对照
本原方程 ↔ 公理〔词典级〕
相关命题
级别复核中:上游命题有变动,本条的级别正在复核。
SGC-0011
定理级
外部定理
在反基础公理(AFA)下,(平坦)方程组有唯一解(Aczel 解引理);本原方程以此取代公理命题。