4 ms·
As far as I can recall set theory axioms are really basic, dunno if the type theory axioms are really basic too.
by sylware 2y ago
As far as I can recall set theory axioms are really basic, dunno if the type theory axioms are really basic too.
loading thread…