递归可公理化
（数学名词）
递归可公理化（recursively axiomatizable）是1993年公布的数学名词。
加载更多
领域
提 交
数学
词条相关
词条 主页
》
词条 科普
》
词条 事件
》
词条 题库
》
词条 知识
》