公理系统的独立性
基于1个网页-相关网页
independence of axiom system
以上为机器翻译结果,长、整句建议使用 人工翻译 。
The article has solved the problem concerning the independence of axiom system of BCI-algebra.
本文解答了BCI -代数公理系的独立性问题,同时给出了BCI -代数的另一公理系统。
youdao
应用推荐
模块上移
模块下移
不移动