Editing Axiom schema of specification (section)

==Further reading==
{{refbegin}}
* {{cite book | last1=Crossley | first1=J.bN. | last2=Ash | first2=C. J. | last3=Brickhill | first3=C. J. | last4=Stillwell | first4=J. C. | last5=Williams | first5=N. H. | title=What is mathematical logic? | zbl=0251.02001 | location=London-Oxford-New York | publisher=[[Oxford University Press]] | year=1972 | isbn=0-19-888087-1 }}
*[[Paul Halmos|Halmos, Paul]], ''[[Naive Set Theory (book)|Naive Set Theory]]''. Princeton, New Jersey: D. Van Nostrand Company, 1960. Reprinted by Springer-Verlag, New York, 1974. {{ISBN|0-387-90092-6}} (Springer-Verlag edition).
*Jech, Thomas, 2003. ''Set Theory: The Third Millennium Edition, Revised and Expanded''. Springer.  {{ISBN|3-540-44085-2}}.
*Kunen, Kenneth, 1980. ''Set Theory: An Introduction to Independence Proofs''. Elsevier. {{ISBN|0-444-86839-9}}.
{{refend}}