公理系统中的基本命题有两类：一类是（），另一类是（）。所有的（）都必须直接或间接地从（）导出。