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 Lab 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.