第六章、数学公理化方法