Definition talk:Tychonoff Separation Axioms

If these are actually Axioms, we should put them in the Axioms namespace. --Cynic (talk) 20:44, 10 January 2009 (UTC)
 * They're not. It's just what they're called, sort of like Europe is called a continent.  They are called the Separation Axioms because they are usually assumed in the statement of a proof about a space of a certain sort, but they aren't axioms in the sense that a=b implies b=a is an axiom. Zelmerszoetrop 06:59, 11 January 2009 (UTC)

Sorry to split hairs, but "a=b implies b=a" is only an axiom if you start with the numbers as a set of objects with a given set of properties. If you take as your axioms the Peano Postulates, for example, then "a=b implies b=a" can then be demonstrated. --Matt Westwood 10:22, 11 January 2009 (UTC)