Axiom schema of specification

#	Item
1	Something from Nothing Tom Davis [removed] http://www.geometer.org/mathcircles October 24, 2000 Add to Reading List Source URL: www.geometer.org Language: English - Date: 2007-11-02 18:11:05 Axioms of set theory Z notation Function Zermelo–Fraenkel set theory Axiom schema of specification Constructible universe Axiom of choice Principia Mathematica Axiom of regularity Mathematical logic Mathematics Set theory
2	Functional Programming and Specification Lecture Note 5, 15 March 2011 Proving that a structure meets its specification The problem of verifying that a structure without substructures satisfies its specification is just Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2011-03-15 06:23:49 Z notation Constructible universe Axiom S Universal quantification Axioms of set theory Axiom schema of replacement First-order logic Mathematical logic Logic Mathematics
3	Vocabulaire technique et analytique de l’épistémologie Paris, Presses Universitaires de France coll. Premier Cycle, 1999, 872 p. Add to Reading List Source URL: www.er.uqam.ca Language: French - Date: 2011-01-11 05:26:07 Ceteris paribus Axiom schema of specification Pierre Duhem Classical definition of probability Fallacy Axiom of choice Axiom of regularity Axiom of infinity Axiom of extensionality Mathematical logic Set theory Axioms of set theory