分出公理圖式