一価性公理(univalence axiom)は任意の階数の宇宙が一価性を満たすことを要請する。