形式的公理化方法在逻辑上的要求,是满足相容性,()和完全性。

时间:2022-11-14 13:39:03

相似题目