词典 / 科技

递归可公理化的

recursively axiomatizable【数】

暂无补充释义。

相关词条

补充或纠正词条 →