... 拟可公理化的 quasiaxiomatizable 有限可公理化 axiomatizable 公理化程序模型 axiomatic program model ...
基于1个网页-相关网页
recursively axiomatizable 递归可公理化
finitely axiomatizable 有限可公理化
strongly axiomatizable theory [数] 强可公理化理论
应用推荐
模块上移
模块下移
不移动