Author: nLab edit announcer Format: MarkdownItexstarting page on the general notion of axiom which implies that all types are sets in dependent type theory
Anonymous
<a href="https://ncatlab.org/nlab/revision/axiom+of+set+truncation/1">v1</a>, <a href="https://ncatlab.org/nlab/show/axiom+of+set+truncation">current</a>
starting page on the general notion of axiom which implies that all types are sets in dependent type theory