bibliographic details : 充足理由律的四重根