由公理化方法得到的逻辑演绎体系称为()
出自:哲学