>>855
公理系に含まれる論理式のことです