公理系統(tǒng)中的基本命題有兩類：一類是（），另一類是（）。所有的（）都必須直接或間接地從（）導(dǎo)出。