|
:Yes, we should. If you're feeling in the mood, this article really needs an overhaul. I moved some paragraphs here from the set theory article months ago, but no-one has yet attempted to merge it all into a coherent whole. --Zundark, 2001 Dec 16 |
They should be marked as such. If they're not, fix them. --Taw
Pretty much anything I write assumes AC. --Zundark, 2001 Dec 16
I think it is polite, when writing about a central theorem like existence of prime ideals or Hahn-Banach, to mention that it depends on AC, but it is really too much to ask to do the detailed bookkeeping and mention AC for every result which depends on one of those theorems. AC is an accepted axiom in mathematics. --AxelBoldt
This last position seems to be modern practice, at least in the areas of mathematics I'm familiar with. Should we have a note to this effect on the main AC page? --Matthew Woodcraft