Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
created floating TOC foundations - contents and added it to relevant pages
Thanks. I added some more entries. Probably there are yet more.
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’?
1 to 3 of 3