Tính khả phủ chứng