Comment Comment by rdlw Is there a collection of type theory axioms anywhere near as influential as ZF or ZFC? parent rdlw 11 months ago
