是.
所谓公理或公设,指的是某门学科中不需要证明而必须加以承认的某些陈述或命题,即“不证自明”的命题.
参考百度词条 公设