分出公理は、この部分集合が常に存在することを示す(それぞれのformula_37に1つずつ公理が対応するため、これは公理"型"である)。