______的真命题称为公理．

五层防护体系的五层分别指（）为第一层防线，专业点检人员的点检为第二层防线，技术人员和专业点检员共同参与的精密点检和技术监督为第三层防线，在上述三种点检的基础上的技术诊断和劣化倾向管理是设备点检管理的第四层防线。