内包性公理図式