El núcleo firme está protegido por un Cinturón protector (CP) que consiste en un conjunto de hipótesis auxiliares que pueden ser modificadas, eliminadas o reemplazadas por otras nuevas con el objetivo de impedir que se pueda falsar el núcleo firme.