可約性公設;可約性公理