Axiom talk:Axiom of Union

From ProofWiki
Jump to: navigation, search

Refactoring

I definitely admit that how I've done it is bad. It seems we need to deal with two aspects:

  1. How are related concepts expressed in different axiom systems?
  2. How are identical concepts expressed by different writers or in the literature of different subfields?

That's not something I know nearly enough about PW's philosophy to know how to do properly. --Dfeuer (talk) 00:06, 29 December 2012 (UTC)

First off you're probably best putting together a master page like Axiom:Zermelo-Fraenkel Axioms to hold the subpages. Then the individual pages like this one should probably use transclusions. This area hasn't been maintained recently so it may not be fully up to style.
Also if you're going to cite that Kelley book, please document it in the Books section and use the BookReference template or we're going to have a shitty task ahead of us putting the references in later. I understand your disdain for house rules but, as I have said before, the internal consistency of presentation is more important than you might believe. --prime mover (talk) 00:14, 29 December 2012 (UTC)
I acknowledge the wisdom of most of the house rules, actually. The "always use \left({}\right)" one, however, drives me absolutely batty (since it both slows typing and makes the source code hard to read) and the extra line before section requirement is irritating. The LaTeX user in me says that
  1. There should be (whether or not there is) a way to adjust the wiki formatter to put exactly the right amount of space before a section break or a qed mark regardless of how the source is arranged.
  2. Using \left, \right, and $\{\}$ should be reserved for cases where they're needed. In most cases they won't have to be added later, and if they need to be, that's not usually a big deal. The house rules are actually a bit inconsistent wrt the use of braces, as they prefer \frac a b to \frac {a} {b} but prefer \left({x}\right) to \left(x\right). Quaere: doesn't MathJax allow you to define site-wide macros somehow? Would it be possible to define macros \(\), \[\], and \{\} to do the left/right thing automagically? --Dfeuer (talk) 00:35, 29 December 2012 (UTC)
Take this to a different talk page, if you would. --prime mover (talk) 00:38, 29 December 2012 (UTC)