填空题

公理系统中的基本命题有两类:一类是(),另一类是()。所有的()都必须直接或间接地从()导出。

【参考答案】

公理;定理;定理;公理