El conjunto de postulados de los cuales se desprenden las demás proposiciones de un sistema se llama conjunto de postulados del sistema.