# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorUrs
• CommentTimeOct 29th 2010
• (edited Oct 29th 2010)

created floating TOC foundations - contents and added it to relevant pages

• CommentRowNumber2.
• CommentAuthorMike Shulman
• CommentTimeOct 29th 2010

Thanks. I added some more entries. Probably there are yet more.

• CommentRowNumber3.
• CommentAuthorTobyBartels
• CommentTimeNov 1st 2010
• (edited Nov 1st 2010)

Great!

I thought that the heading ‘Extra axioms’ didn’t really make sense, if it included the axiom of choice (not to mention the axiom of infinity, although that’s under a heading which otherwise includes only extra axioms). So I renamed it ‘Common axioms’ and added a couple more, although what it should really mean is common optional axioms (since you can do mathematics, at least to some degree, without them). Maybe ‘Important axioms’?