4.2.2 形式系统的审美效用