第六讲公理化思想及构成公理化体系的要求