nLab
layers of foundations

There used to be here an attempt to organize foundations by starting with a most foundational foundation and successively adding axioms. This was discussed here. Then moved out of the nnLab to here.

Last revised on October 7, 2012 at 18:45:47. See the history of this page for a list of all contributions to it.