追記

10月16日の日記の述語の量化に関して追記を施しました。