组成公理化系统的一般程序?
出自:哲学