## Axioms in HoTT * [[univalence axiom]] * [[function extensionality]] ## Classicality axioms * [[excluded middle]] * [[axiom of choice]] * [[de Morgan's law]] * [[limited principle of omniscience]] * [[sets cover]]