Axiom talk:Axiom of Union

From ProofWiki
Jump to navigation Jump to 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 Definition: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. --prime mover (talk) 00:14, 29 December 2012 (UTC)