公理方法就是从( )出发，按照一定的规定(逻辑规则)定义出其他所有的概念，推导出其他一切命题的一种演绎方法。