ここでformula_49は量化子を1つも含まない論理式である。